|
325
|
1 |
#!/bin/bash
|
|
|
2 |
set -euo pipefail
|
|
|
3 |
|
|
162
|
4 |
|
|
|
5 |
trap "exit" INT
|
|
|
6 |
|
|
382
|
7 |
files=${1:-*/pre2}
|
|
162
|
8 |
|
|
|
9 |
for sd in $files; do
|
|
|
10 |
cd $sd
|
|
|
11 |
echo $sd
|
|
|
12 |
touch .
|
|
382
|
13 |
cp ../../../../../pre_marking2/docdiff_test.sh .
|
|
|
14 |
cp ../../../../../pre_marking2/docdiff_test1.scala .
|
|
|
15 |
cp ../../../../../pre_marking2/docdiff_test2.scala .
|
|
|
16 |
cp ../../../../../pre_marking2/docdiff_test3.scala .
|
|
|
17 |
cp ../../../../../pre_marking2/docdiff_test4.scala .
|
|
227
|
18 |
./docdiff_test.sh output
|
|
325
|
19 |
rm docdiff_test.sh
|
|
227
|
20 |
rm docdiff_test1.scala
|
|
|
21 |
rm docdiff_test2.scala
|
|
|
22 |
rm docdiff_test3.scala
|
|
|
23 |
rm docdiff_test4.scala
|
|
325
|
24 |
cd ..
|
|
162
|
25 |
cd ..
|
|
|
26 |
done
|
|
|
27 |
|
|
|
28 |
|