Add -Werror flag in the build process

Signed-off-by: Felipe R. Monteiro <felisous@amazon.com>
model-checking · Feb 1, 2024 · 5e93f37 · 5e93f37
1 parent 2678e6a
commit 5e93f37
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/cbmc_starter_kit/template-for-repository/proofs/Makefile.common b/src/cbmc_starter_kit/template-for-repository/proofs/Makefile.common
@@ -299,7 +299,7 @@ CHECKFLAGS += $(CBMC_FLAG_UNSIGNED_OVERFLOW_CHECK)
 NONDET_STATIC ?=
 
 # Flags to pass to goto-cc for compilation and linking
-COMPILE_FLAGS ?= -Wall
+COMPILE_FLAGS ?= -Wall -Werror
 LINK_FLAGS ?= -Wall
 EXPORT_FILE_LOCAL_SYMBOLS ?= --export-file-local-symbols