equal
deleted
inserted
replaced
|
1 #!/bin/sh |
|
2 ###set -e |
|
3 |
|
4 trap "exit" INT |
|
5 |
|
6 files=${1:-assignment20178-*} |
|
7 |
|
8 for sd in $files; do |
|
9 cd $sd |
|
10 echo $sd |
|
11 touch . |
|
12 cp ../../../marking3/re_test.sh . |
|
13 cp ../../../marking3/re1a_test.scala . |
|
14 cp ../../../marking3/re1b_test.scala . |
|
15 cp ../../../marking3/re1c_test.scala . |
|
16 cp ../../../marking3/re1d_test.scala . |
|
17 cp ../../../marking3/re1e_test.scala . |
|
18 ./re_test.sh output |
|
19 rm re_test.sh |
|
20 rm re1a_test.scala |
|
21 rm re1b_test.scala |
|
22 rm re1c_test.scala |
|
23 rm re1d_test.scala |
|
24 rm re1e_test.scala |
|
25 cd .. |
|
26 done |
|
27 |
|
28 |