diff options
Diffstat (limited to 'test/monniaux/picosat-965/dm_configure_gcc.sh')
| -rwxr-xr-x | test/monniaux/picosat-965/dm_configure_gcc.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/test/monniaux/picosat-965/dm_configure_gcc.sh b/test/monniaux/picosat-965/dm_configure_gcc.sh deleted file mode 100755 index 4b0e66fe..00000000 --- a/test/monniaux/picosat-965/dm_configure_gcc.sh +++ /dev/null @@ -1 +0,0 @@ -CC=k1-mbr-gcc CFLAGS="-Wall -O3 -DNALARM -DNZIP -DNGETRUSAGE" ./configure.sh |