Skip to content

Commit e34428d

Browse files
TaoBi22aman-goel
authored andcommitted
Drop -Werror from reach Makefile
1 parent 38a20b0 commit e34428d

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/reach/Makefile

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
include ../makefile.include
22

3-
CFLAGS += -fPIC -Werror -Wreturn-type -Wunknown-pragmas -Wunused-value -Wunused-label
3+
CFLAGS += -fPIC -Wreturn-type -Wunknown-pragmas -Wunused-value -Wunused-label
44

55
ifeq ($(STATIC_REA), 1)
66
CXX += -static-libstdc++ -static-libgcc -static

0 commit comments

Comments
 (0)