Merge pull request #2 from guykatzz/master

disable debug
NeuralNetworkVerification · Aug 6, 2019 · 8808af5 · 8808af5
2 parents 6a1696b + 499efec
commit 8808af5
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 3 deletions.
diff --git a/Rules.mk b/Rules.mk
@@ -54,8 +54,6 @@ CFLAGS += \
 	-Werror \
 	-Wno-deprecated \
 	-std=c++0x \
-	\
-	-g \
 
 %.obj: %.cpp
 	@echo "CC\t" $@

diff --git a/maraboupy/Makefile b/maraboupy/Makefile
@@ -19,7 +19,6 @@ LINK_FLAGS += \
 LOCAL_LIBRARIES += \
 
 CFLAGS += \
-	-DDEBUG_ON \
 
 SUFFIX = $(shell python3-config --extension-suffix)
 API_NAME = $(addprefix MarabouCore, $(SUFFIX))