edits

[cdsspec-compiler.git] / output / benchmarks.mk

diff --git a/output/benchmarks.mk b/output/benchmarks.mk
index 20a76d8b0e92f77af99a82e18fa893823b984b47..e7a873600ea6267508bdce2772f0ae9feabe2ad7 100644 (file)
--- a/output/benchmarks.mk
+++ b/output/benchmarks.mk
@@ -12,7 +12,7 @@ BASE = $(HOME)/model-checker-priv/model-checker-priv
 INCLUDE = -I$(BASE)/include -I../include -I$(BASE)/spec-analysis -I$(BASE)
 
 # C preprocessor flags
-CPPFLAGS += $(INCLUDE) -g
+CPPFLAGS += $(INCLUDE) -O3
 
 # C++ compiler flags
 CXXFLAGS += $(CPPFLAGS)