1 #!/bin/bash

     2 set -euo pipefail

     3 

     4 

     5 trap "exit" INT

     6 

     7 files=${1:-*/pre2}

     8 

     9 for sd in $files; do

    10   cd $sd

    11   echo $sd

    12   touch .

    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 .

    18   ./docdiff_test.sh output

    19   rm docdiff_test.sh

    20   rm docdiff_test1.scala

    21   rm docdiff_test2.scala

    22   rm docdiff_test3.scala

    23   rm docdiff_test4.scala

    24   cd ..

    25   cd ..

    26 done

    27 

    28