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