diff options
Diffstat (limited to '0001-Makefile-noerror.patch')
-rw-r--r-- | 0001-Makefile-noerror.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/0001-Makefile-noerror.patch b/0001-Makefile-noerror.patch new file mode 100644 index 000000000000..8fa9aa9897c2 --- /dev/null +++ b/0001-Makefile-noerror.patch @@ -0,0 +1,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 \ |