diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2022-03-03 21:12:55 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2022-03-03 21:12:55 +0900 |
| commit | f19a057cfcfd77c5567ff8d536db84a40037f10d (patch) | |
| tree | f661d617e12dcf695fde6eb3c3cc330354e1ce97 /comparison/all.sh~ | |
| parent | c0efadbf4003cead718d09a887cff05103f3c377 (diff) | |
| download | inpla-f19a057cfcfd77c5567ff8d536db84a40037f10d.tar.gz inpla-f19a057cfcfd77c5567ff8d536db84a40037f10d.zip | |
v0.8.1
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 |