373
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1 |
#!/bin/sh
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
2 |
###set -e
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
3 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
4 |
trap "exit" INT
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
5 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
6 |
files=${1:-*/pre1}
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
7 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
8 |
for sd in $files; do
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
9 |
cd $sd
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
10 |
echo $sd
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
11 |
touch .
|
|
374
|
12 |
cp ../../../../../pre_marking1/collatz_test.sh .
|
|
|
13 |
cp ../../../../../pre_marking1/collatz_test1.scala .
|
|
|
14 |
cp ../../../../../pre_marking1/collatz_test2.scala .
|
|
|
15 |
cp ../../../../../pre_marking1/collatz_test3.scala .
|
|
|
16 |
./collatz_test.sh output
|
373
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
17 |
rm collatz_test.sh
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
18 |
rm collatz_test1.scala
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
19 |
rm collatz_test2.scala
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
20 |
rm collatz_test3.scala
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
21 |
cd ..
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
22 |
cd ..
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
23 |
done
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
24 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
25 |
|