diff options
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 |