blob: 8fa9aa9897c2d6b3d499bb1756eb1c15d799ee99 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
--- a/Makefile 2017-06-03 16:15:45.242782528 +0200
+++ b/Makefile 2017-06-03 16:16:02.362922046 +0200
@@ -148,7 +148,7 @@
dash_I_args = $(LP_CFLAGS) $(GMP_CFLAGS)
-CFLAGS = $(OPTFLAGS) $(DEBUG_FLAGS) $(dash_I_args) -Wall -Werror
+CFLAGS = $(OPTFLAGS) $(DEBUG_FLAGS) $(dash_I_args) -Wall -Wno-unused-but-set-variable
PROGRAMS = \
analyze_ckpt \
|