core_marking1/mk_core1
changeset 421 864107857d27
parent 382 fec2c2f2d3db
equal deleted inserted replaced
420:a6db2b70abdd 421:864107857d27
       
     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