From ed95a6a6fbdd915e361e696d4bf72e5a545b965e Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Tue, 4 Jun 2019 20:00:47 +0200 Subject: shortcuts for cmove --- test/monniaux/picosat-965/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/monniaux/picosat-965') diff --git a/test/monniaux/picosat-965/Makefile b/test/monniaux/picosat-965/Makefile index e13087de..991278ff 100644 --- a/test/monniaux/picosat-965/Makefile +++ b/test/monniaux/picosat-965/Makefile @@ -7,7 +7,7 @@ ALL_CFLAGS = -DNALARM -DNZIP -DNGETRUSAGE -DNDEBUG K1C_CFLAGS += $(EMBEDDED_CFLAGS) K1C_CCOMPFLAGS += $(EMBEDDED_CFLAGS) CCOMPFLAGS += -fbitfields -K1C_CCOMPFLAGS += -fbitfields -fno-if-conversion +K1C_CCOMPFLAGS += -fbitfields # -fno-if-conversion K1C_CFLAGS += $(ALL_CFLAGS) K1C_CCOMPFLAGS += $(ALL_CFLAGS) -- cgit