equal
deleted
inserted
replaced
|
1 #!/bin/sh |
|
2 ###set -e |
|
3 |
|
4 trap "exit" INT |
|
5 |
|
6 files=${1:-*/pre1} |
|
7 |
|
8 for sd in $files; do |
|
9 cd $sd |
|
10 echo $sd |
|
11 touch . |
|
12 cp ../../../../marking1/collatz_test.sh . |
|
13 cp ../../../../marking1/collatz_test1.scala . |
|
14 cp ../../../../marking1/collatz_test2.scala . |
|
15 cp ../../../../marking1/collatz_test3.scala . |
|
16 ./collatz_test.sh output1 |
|
17 rm collatz_test.sh |
|
18 rm collatz_test1.scala |
|
19 rm collatz_test2.scala |
|
20 rm collatz_test3.scala |
|
21 cd .. |
|
22 cd .. |
|
23 done |
|
24 |
|
25 |