aboutsummaryrefslogtreecommitdiff
path: root/comparison/all.sh
blob: 2c82c451a42e95ac1b50770d42d10428b87a1aa3 (plain) (blame)
1
2
3
4
5
6
7
8
#!/usr/bin/bash
dir=(OCaml Haskell SML Python Inpla)
for d in ${dir[@]} ; do
#    echo "cd $d; make clean; make; cd ..";
#          cd $d; make clean; make; cd ..
    echo "cd $d; make; cd ..";
          cd $d; make; cd ..
done