equal
  deleted
  inserted
  replaced
  
    
    
|      1 #!/bin/sh |         | 
|      2 ###set -e |         | 
|      3  |         | 
|      4 trap "exit" INT |         | 
|      5  |         | 
|      6 files=${1:-assignment201810-*} |         | 
|      7  |         | 
|      8 for sd in $files; do |         | 
|      9   cd $sd |         | 
|     10   echo $sd |         | 
|     11   touch . |         | 
|     12   cp ../../../marking5/bf_test.sh . |         | 
|     13   cp ../../../marking5/bf_test1.scala . |         | 
|     14   cp ../../../marking5/bf_test2.scala . |         | 
|     15   cp ../../../marking5/bf_test3.scala . |         | 
|     16   cp ../../../marking5/bf_test4.scala . |         | 
|     17   cp ../../../marking5/benchmark.bf . |         | 
|     18   ./bf_test.sh output |         | 
|     19   rm bf_test.sh |         | 
|     20   rm bf_test1.scala |         | 
|     21   rm bf_test2.scala |         | 
|     22   rm bf_test3.scala |         | 
|     23   rm bf_test4.scala |         | 
|     24   rm benchmark.bf |         | 
|     25   cd .. |         | 
|     26 done |         | 
|     27  |         | 
|     28  |         |