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