equal
deleted
inserted
replaced
|
1 #!/bin/bash |
|
2 set -euo pipefail |
|
3 |
|
4 |
|
5 trap "exit" INT |
|
6 |
|
7 files=${1:-*/pre3} |
|
8 |
|
9 for sd in $files; do |
|
10 cd $sd |
|
11 echo $sd |
|
12 touch . |
|
13 cp ../../../../../pre_marking3/postfix_test.sh . |
|
14 cp ../../../../../pre_marking3/postfix_test1.scala . |
|
15 cp ../../../../../pre_marking3/postfix_test2.scala . |
|
16 cp ../../../../../pre_marking3/postfix_test3.scala . |
|
17 cp ../../../../../pre_marking3/postfix_test4.scala . |
|
18 ./postfix_test.sh output |
|
19 rm postfix_test.sh |
|
20 rm postfix_test1.scala |
|
21 rm postfix_test2.scala |
|
22 rm postfix_test3.scala |
|
23 rm postfix_test3.scala |
|
24 cd .. |
|
25 cd .. |
|
26 done |
|
27 |
|
28 |