diff -r e9d14d58be3c -r daf561a83ba6 pre_marking1/mk --- a/pre_marking1/mk Thu Jan 13 12:55:03 2022 +0000 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,26 +0,0 @@ -#!/bin/bash -set -euo pipefail - -trap "exit" INT - -files=${1:-*/pre1} - -for sd in $files; do - cd $sd - echo $sd - sleep 5 - touch . - cp ../../../../../pre_marking1/collatz_test.sh . - cp ../../../../../pre_marking1/collatz_test1.scala . - cp ../../../../../pre_marking1/collatz_test2.scala . - cp ../../../../../pre_marking1/collatz_test3.scala . - ./collatz_test.sh output - rm collatz_test.sh - rm collatz_test1.scala - rm collatz_test2.scala - rm collatz_test3.scala - cd .. - cd .. -done - -