From e1c8d92fc6460b9c44b5aef19b2d5e0a74d1e58a Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Wed, 30 Jan 2019 17:17:04 +0100 Subject: remove cruft --- test/monniaux/picosat-965/dm_configure_ccomp.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/monniaux/picosat-965') diff --git a/test/monniaux/picosat-965/dm_configure_ccomp.sh b/test/monniaux/picosat-965/dm_configure_ccomp.sh index 65498834..457d2856 100755 --- a/test/monniaux/picosat-965/dm_configure_ccomp.sh +++ b/test/monniaux/picosat-965/dm_configure_ccomp.sh @@ -1,2 +1,2 @@ # BUG -CC=../../../ccomp CFLAGS="-fall -Wall -O3 -U __SIZEOF_INT128__ -DNALARM -DNZIP -DNGETRUSAGE" ./configure.sh +CC=../../../ccomp CFLAGS="-fall -Wall -O3 -DNALARM -DNZIP -DNGETRUSAGE" ./configure.sh -- cgit