388
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:-*/pre4}
|
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 |
sleep 15
|
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_marking4/knight1_test.sh .
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
14 |
cp ../../../../../pre_marking4/knight1_test1.scala .
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
15 |
cp ../../../../../pre_marking4/knight1_test2.scala .
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
16 |
cp ../../../../../pre_marking4/knight1_test3a.scala .
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
17 |
cp ../../../../../pre_marking4/knight1_test3b.scala .
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
18 |
cp ../../../../../pre_marking4/knight1_test3c.scala .
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
19 |
./knight1_test.sh output
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
20 |
rm knight1_test.sh
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
21 |
rm knight1_test1.scala
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
22 |
rm knight1_test2.scala
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
23 |
rm knight1_test3a.scala
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
24 |
rm knight1_test3b.scala
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
25 |
rm knight1_test3c.scala
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
26 |
cd ..
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
27 |
cd ..
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
28 |
done
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
29 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
30 |
|