1 #!/bin/sh

     2 ###set -e

     3 

     4 trap "exit" INT

     5 

     6 files=${1:-*/pre4}

     7 

     8 for sd in $files; do

     9   cd $sd

    10   echo $sd

    11   sleep 15

    12   touch .

    13   cp ../../../../../pre_marking4/knight1_test.sh .

    14   cp ../../../../../pre_marking4/knight1_test1.scala .

    15   cp ../../../../../pre_marking4/knight1_test2.scala .

    16   cp ../../../../../pre_marking4/knight1_test3a.scala .

    17   cp ../../../../../pre_marking4/knight1_test3b.scala .

    18   cp ../../../../../pre_marking4/knight1_test3c.scala .

    19   ./knight1_test.sh output

    20   rm knight1_test.sh

    21   rm knight1_test1.scala

    22   rm knight1_test2.scala

    23   rm knight1_test3a.scala 

    24   rm knight1_test3b.scala

    25   rm knight1_test3c.scala

    26   cd ..

    27   cd ..

    28 done

    29 

    30