marking4/mk
changeset 332 703c7e42bf46
parent 331 e3878cdd38bc
child 333 24bc76d97db2
equal deleted inserted replaced
331:e3878cdd38bc 332:703c7e42bf46
     1 #!/bin/sh
       
     2 ###set -e
       
     3 
       
     4 trap "exit" INT
       
     5 
       
     6 files=${1:-assignment20189-*}
       
     7 
       
     8 for sd in $files; do
       
     9   cd $sd
       
    10   echo $sd
       
    11   touch .
       
    12   cp ../../../marking4/re_test.sh .
       
    13   cp ../../../marking4/re_test1.scala .
       
    14   cp ../../../marking4/re_test2.scala .
       
    15   cp ../../../marking4/re_test3.scala .
       
    16   cp ../../../marking4/re_test4.scala .
       
    17   cp ../../../marking4/re_test5.scala .
       
    18   cp ../../../marking4/re_test6.scala .
       
    19   ./re_test.sh output
       
    20   rm re_test.sh
       
    21   rm re_test1.scala
       
    22   rm re_test2.scala
       
    23   rm re_test3.scala
       
    24   rm re_test4.scala
       
    25   rm re_test5.scala
       
    26   rm re_test6.scala
       
    27   cd ..
       
    28 done
       
    29 
       
    30