diff options
Diffstat (limited to 'test/monniaux/picosat-965/dm_configure.sh')
| -rwxr-xr-x | test/monniaux/picosat-965/dm_configure.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/test/monniaux/picosat-965/dm_configure.sh b/test/monniaux/picosat-965/dm_configure.sh deleted file mode 100755 index 9618f285..00000000 --- a/test/monniaux/picosat-965/dm_configure.sh +++ /dev/null @@ -1 +0,0 @@ -CC=../../../ccomp CFLAGS="-fall -Wall -O3 -U __SIZEOF_INT128__ -U __SIZE_TYPE__ -D __SIZE_TYPE__='unsigned long long'" ./configure.sh |