core_marking1/mk_core1
changeset 424 daf561a83ba6
parent 382 1bd800376e0c
equal deleted inserted replaced
423:e9d14d58be3c 424:daf561a83ba6
       
     1 #!/bin/bash
       
     2 set -euo pipefail
       
     3 
       
     4 trap "exit" INT
       
     5 
       
     6 files=${1:-*/core1}
       
     7 
       
     8 for sd in $files; do
       
     9   echo -e "\n"
       
    10   cd $sd
       
    11   echo $sd
       
    12   touch .
       
    13   cp ../../../../../core_marking1/collatz_test.sh .
       
    14   cp ../../../../../core_marking1/collatz_test1.scala .
       
    15   cp ../../../../../core_marking1/collatz_test2.scala .
       
    16   cp ../../../../../core_marking1/collatz_test3.scala .
       
    17   ./collatz_test.sh output
       
    18   rm collatz_test.sh
       
    19   rm collatz_test1.scala
       
    20   rm collatz_test2.scala
       
    21   rm collatz_test3.scala
       
    22   cd ..
       
    23   cd ..
       
    24 done
       
    25 
       
    26