disable debug

epfl-vlsc · Oct 7, 2022 · e986361 · e986361
1 parent 82c4ce8
commit e986361
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -31,7 +31,7 @@ ENABLE_PYOSYS := 1
 # other configuration flags
 ENABLE_GCOV := 0
 ENABLE_GPROF := 0
-ENABLE_DEBUG := 1
+ENABLE_DEBUG := 0
 ENABLE_NDEBUG := 0
 ENABLE_CCACHE := 0
 # sccache is not always a drop-in replacement for ccache in practice