equal
deleted
inserted
replaced
|
1 #!/bin/sh |
|
2 ###set -e |
|
3 |
|
4 trap "exit" INT |
|
5 |
|
6 files=${1:-assignment20177-*} |
|
7 |
|
8 for sd in $files; do |
|
9 cd $sd |
|
10 echo $sd |
|
11 touch . |
|
12 cp ../../../marking2/knight1_test.sh . |
|
13 cp ../../../marking2/kinght1a_test.scala . |
|
14 cp ../../../marking2/knight1b_test.scala . |
|
15 cp ../../../marking2/knight1c_test.scala . |
|
16 cp ../../../marking2/knight2a_test.scala . |
|
17 cp ../../../marking2/knight2b_test.scala . |
|
18 ./knight1_test.sh output |
|
19 rm knight1_test.sh |
|
20 rm kinght1a_test.scala |
|
21 rm kinght1b_test.scala |
|
22 rm kinght1c_test.scala |
|
23 rm kinght2a_test.scala |
|
24 rm kinght2b_test.scala |
|
25 cd .. |
|
26 done |
|
27 |
|
28 |