diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2022-03-03 21:19:17 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2022-03-03 21:19:17 +0900 |
| commit | 36edc3d8aef1527aa2b142289bc73e58c60798bc (patch) | |
| tree | 826a732ecd23fab107f9ddd113188692f2cc8d97 /comparison/all.sh~ | |
| parent | a92f82fc0c1086e52952203728078efd0feac721 (diff) | |
| parent | 350f8ee62029d4441ba08da9d96d0e15d5517b34 (diff) | |
| download | inpla-36edc3d8aef1527aa2b142289bc73e58c60798bc.tar.gz inpla-36edc3d8aef1527aa2b142289bc73e58c60798bc.zip | |
Merge branch 'develop'
Diffstat (limited to 'comparison/all.sh~')
| -rw-r--r-- | comparison/all.sh~ | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/comparison/all.sh~ b/comparison/all.sh~ deleted file mode 100644 index 126d37f..0000000 --- a/comparison/all.sh~ +++ /dev/null @@ -1,6 +0,0 @@ -#!/usr/bin/bash -dir=(Haskell SML Python) -for d in ${dir[@]} ; do - echo "cd $d; make clean; make; cd .."; - cd $d; make clean; make; cd .. -done |