1 #!/bin/bash

     2 set -euo pipefail

     3 

     4 

     5 trap "exit" INT

     6 

     7 files=${1:-*/core3}

     8 

     9 for sd in $files; do

    10   echo -e "\n"  

    11   cd $sd

    12   echo $sd

    13   touch .

    14   cp ../../../../../core_marking3/postfix_test.sh .

    15   cp ../../../../../core_marking3/postfix_test1.scala .

    16   cp ../../../../../core_marking3/postfix_test2.scala .

    17   cp ../../../../../core_marking3/postfix_test3.scala .

    18   cp ../../../../../core_marking3/postfix_test4.scala .

    19   ./postfix_test.sh output

    20   rm postfix_test.sh

    21   rm postfix_test1.scala

    22   rm postfix_test2.scala

    23   rm postfix_test3.scala

    24   rm postfix_test4.scala

    25   cd ..

    26   cd ..

    27 done

    28 

    29