diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-02 09:04:03 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-02 09:04:03 +0200 |
| commit | fd2c2a0bdf723dce559567324711a3127ce0582e (patch) | |
| tree | f03b21a14cba984854142016733802c3ca8866b1 /test/monniaux/picosat-965/dm_configure_gcc.sh | |
| parent | 8fb2d1a49443767ce353520ea045383430a2655e (diff) | |
| parent | 5cdc3d29983c65d1ac1d3393103037fdd87d7829 (diff) | |
| download | compcert-kvx-fd2c2a0bdf723dce559567324711a3127ce0582e.tar.gz compcert-kvx-fd2c2a0bdf723dce559567324711a3127ce0582e.zip | |
Merge remote-tracking branch 'origin/mppa-work' into mppa-ternary
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 |