pre_marking3/mk
changeset 424 daf561a83ba6
parent 423 e9d14d58be3c
child 425 957808dcb367
equal deleted inserted replaced
423:e9d14d58be3c 424:daf561a83ba6
     1 #!/bin/bash
       
     2 set -euo pipefail
       
     3 
       
     4 
       
     5 trap "exit" INT
       
     6 
       
     7 files=${1:-*/pre3}
       
     8 
       
     9 for sd in $files; do
       
    10   cd $sd
       
    11   echo $sd
       
    12   touch .
       
    13   cp ../../../../../pre_marking3/postfix_test.sh .
       
    14   cp ../../../../../pre_marking3/postfix_test1.scala .
       
    15   cp ../../../../../pre_marking3/postfix_test2.scala .
       
    16   cp ../../../../../pre_marking3/postfix_test3.scala .
       
    17   cp ../../../../../pre_marking3/postfix_test4.scala .
       
    18   ./postfix_test.sh output
       
    19   rm postfix_test.sh
       
    20   rm postfix_test1.scala
       
    21   rm postfix_test2.scala
       
    22   rm postfix_test3.scala
       
    23   rm postfix_test4.scala
       
    24   cd ..
       
    25   cd ..
       
    26 done
       
    27 
       
    28