main_marking3/mk
changeset 390 175a950470a9
equal deleted inserted replaced
389:4113d4d8cf62 390:175a950470a9
       
     1 #!/bin/sh
       
     2 ###set -e
       
     3 
       
     4 trap "exit" INT
       
     5 
       
     6 files=${1:-*/main3}
       
     7 
       
     8 for sd in $files; do
       
     9   cd $sd
       
    10   echo $sd
       
    11   touch .
       
    12   cp ../../../../../main_marking3/re_test.sh .
       
    13   cp ../../../../../main_marking3/re_test1.scala .
       
    14   cp ../../../../../main_marking3/re_test2.scala .
       
    15   cp ../../../../../main_marking3/re_test3.scala .
       
    16   cp ../../../../../main_marking3/re_test4.scala .
       
    17   cp ../../../../../main_marking3/re_test5.scala .
       
    18   cp ../../../../../main_marking3/re_test6.scala .
       
    19   cp ../../../../../main_marking3/re_test7.scala .
       
    20   ./re_test.sh output
       
    21   rm re_test.sh
       
    22   rm re_test1.scala
       
    23   rm re_test2.scala
       
    24   rm re_test3.scala
       
    25   rm re_test4.scala
       
    26   rm re_test5.scala
       
    27   rm re_test6.scala
       
    28   rm re_test7.scala
       
    29   cd ..
       
    30   cd ..
       
    31 done
       
    32 
       
    33