equal
deleted
inserted
replaced
1 #!/bin/sh |
|
2 ###set -e |
|
3 |
|
4 trap "exit" INT |
|
5 |
|
6 files=${1:-assignment201810-*} |
|
7 |
|
8 for sd in $files; do |
|
9 cd $sd |
|
10 echo $sd |
|
11 touch . |
|
12 cp ../../../marking5/bf_test.sh . |
|
13 cp ../../../marking5/bf_test1.scala . |
|
14 cp ../../../marking5/bf_test2.scala . |
|
15 cp ../../../marking5/bf_test3.scala . |
|
16 cp ../../../marking5/bf_test4.scala . |
|
17 cp ../../../marking5/benchmark.bf . |
|
18 ./bf_test.sh output |
|
19 rm bf_test.sh |
|
20 rm bf_test1.scala |
|
21 rm bf_test2.scala |
|
22 rm bf_test3.scala |
|
23 rm bf_test4.scala |
|
24 rm benchmark.bf |
|
25 cd .. |
|
26 done |
|
27 |
|
28 |
|