diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2022-04-16 20:30:04 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2022-04-16 20:30:04 +0900 |
| commit | c8ff868327e19cd156573a723214d66119a71b41 (patch) | |
| tree | 2b959f5d9e2ec4b9f520b0259307a781102ffea7 /comparison/all.sh | |
| parent | 353b47702094b20d207acf97e1638d2befb4da11 (diff) | |
| parent | 5139486fd68973703b8a68b118eff2ef78def144 (diff) | |
| download | inpla-c8ff868327e19cd156573a723214d66119a71b41.tar.gz inpla-c8ff868327e19cd156573a723214d66119a71b41.zip | |
Merge branch 'develop'
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 .. |