equal
deleted
inserted
replaced
|
1 #!/bin/sh |
|
2 ###set -e |
|
3 |
|
4 trap "exit" INT |
|
5 |
|
6 files=${1:-*/main3} |
|
7 |
|
8 for sd in $files; do |
|
9 cd $sd |
|
10 echo $sd |
|
11 touch . |
|
12 cp ../../../../../main_marking3/re_test.sh . |
|
13 cp ../../../../../main_marking3/re_test1.scala . |
|
14 cp ../../../../../main_marking3/re_test2.scala . |
|
15 cp ../../../../../main_marking3/re_test3.scala . |
|
16 cp ../../../../../main_marking3/re_test4.scala . |
|
17 cp ../../../../../main_marking3/re_test5.scala . |
|
18 cp ../../../../../main_marking3/re_test6.scala . |
|
19 cp ../../../../../main_marking3/re_test7.scala . |
|
20 ./re_test.sh output |
|
21 rm re_test.sh |
|
22 rm re_test1.scala |
|
23 rm re_test2.scala |
|
24 rm re_test3.scala |
|
25 rm re_test4.scala |
|
26 rm re_test5.scala |
|
27 rm re_test6.scala |
|
28 rm re_test7.scala |
|
29 cd .. |
|
30 cd .. |
|
31 done |
|
32 |
|
33 |