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