marking5/mk
changeset 333 24bc76d97db2
parent 332 703c7e42bf46
child 334 841727e27252
equal deleted inserted replaced
332:703c7e42bf46 333:24bc76d97db2
     1 #!/bin/sh
       
     2 ###set -e
       
     3 
       
     4 trap "exit" INT
       
     5 
       
     6 files=${1:-assignment201810-*}
       
     7 
       
     8 for sd in $files; do
       
     9   cd $sd
       
    10   echo $sd
       
    11   touch .
       
    12   cp ../../../marking5/bf_test.sh .
       
    13   cp ../../../marking5/bf_test1.scala .
       
    14   cp ../../../marking5/bf_test2.scala .
       
    15   cp ../../../marking5/bf_test3.scala .
       
    16   cp ../../../marking5/bf_test4.scala .
       
    17   cp ../../../marking5/benchmark.bf .
       
    18   ./bf_test.sh output
       
    19   rm bf_test.sh
       
    20   rm bf_test1.scala
       
    21   rm bf_test2.scala
       
    22   rm bf_test3.scala
       
    23   rm bf_test4.scala
       
    24   rm benchmark.bf
       
    25   cd ..
       
    26 done
       
    27 
       
    28