385
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1 |
#!/bin/bash
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
2 |
set -euo pipefail
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
3 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
4 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
5 |
trap "exit" INT
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
6 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
7 |
files=${1:-*/pre3}
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
8 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
9 |
for sd in $files; do
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
10 |
cd $sd
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
11 |
echo $sd
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
12 |
touch .
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
13 |
cp ../../../../../pre_marking3/postfix_test.sh .
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
14 |
cp ../../../../../pre_marking3/postfix_test1.scala .
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
15 |
cp ../../../../../pre_marking3/postfix_test2.scala .
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
16 |
cp ../../../../../pre_marking3/postfix_test3.scala .
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
17 |
cp ../../../../../pre_marking3/postfix_test4.scala .
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
18 |
./postfix_test.sh output
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
19 |
rm postfix_test.sh
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
20 |
rm postfix_test1.scala
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
21 |
rm postfix_test2.scala
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
22 |
rm postfix_test3.scala
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
23 |
rm postfix_test3.scala
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
24 |
cd ..
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
25 |
cd ..
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
26 |
done
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
27 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
28 |
|