diff options
Diffstat (limited to 'comparison/SML/Makefile')
| -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 0e4e2e3..14dca02 100644 --- a/comparison/SML/Makefile +++ b/comparison/SML/Makefile @@ -1,5 +1,5 @@ COMMAND = sml -TARGET = dummy.sml ack3-11.sml fib38.sml bsort-40000.sml isort-40000.sml qsort-260000.sml msort-260000.sml +TARGET = dummy.sml ack3-11.sml fib38.sml bsort-20000.sml isort-20000.sml qsort-260000.sml msort-260000.sml BENCHMARK = bash ../tools/sptest_scripts.sh LOG = log.txt |