diff options
Diffstat (limited to '')
| -rw-r--r-- | comparison/SML/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/comparison/SML/Makefile b/comparison/SML/Makefile index 8520e9d..0e4e2e3 100644 --- a/comparison/SML/Makefile +++ b/comparison/SML/Makefile @@ -1,5 +1,5 @@ COMMAND = sml -TARGET = ack3-11.sml fib38.sml bsort-40000.sml isort-40000.sml qsort-800000.sml msort-800000.sml +TARGET = dummy.sml ack3-11.sml fib38.sml bsort-40000.sml isort-40000.sml qsort-260000.sml msort-260000.sml BENCHMARK = bash ../tools/sptest_scripts.sh LOG = log.txt |