diff options
Diffstat (limited to 'comparison/all.sh')
| -rw-r--r-- | comparison/all.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/comparison/all.sh b/comparison/all.sh index 424e50f..2c82c45 100644 --- a/comparison/all.sh +++ b/comparison/all.sh @@ -1,5 +1,5 @@ #!/usr/bin/bash -dir=(Haskell SML Python Inpla) +dir=(OCaml Haskell SML Python Inpla) for d in ${dir[@]} ; do # echo "cd $d; make clean; make; cd .."; # cd $d; make clean; make; cd .. |