#!/bin/bash+
−
set -euo pipefail+
−
+
−
+
−
trap "exit" INT+
−
+
−
files=${1:-*/core2}+
−
+
−
for sd in $files; do+
−
  echo -e "\n"+
−
  cd $sd+
−
  echo $sd+
−
  touch .+
−
  cp ../../../../../core_marking2/docdiff_test.sh .+
−
  cp ../../../../../core_marking2/docdiff_test1.scala .+
−
  cp ../../../../../core_marking2/docdiff_test2.scala .+
−
  cp ../../../../../core_marking2/docdiff_test3.scala .+
−
  cp ../../../../../core_marking2/docdiff_test4.scala .+
−
  ./docdiff_test.sh output+
−
  rm docdiff_test.sh+
−
  rm docdiff_test1.scala+
−
  rm docdiff_test2.scala+
−
  rm docdiff_test3.scala+
−
  rm docdiff_test4.scala+
−
  cd ..+
−
  cd ..+
−
done+
−
+
−
+
−