Robust/src/Benchmarks/SSJava/MP3Decoder/run-error-batchmode.sh

   1 #!/bin/bash
   2
   3 if [[ -z $1 ]] ; then
   4   echo 'Please supply an mp3 file name.'
   5   exit
   6 fi
   7
   8 MP3Playere.bin $1 > error.txt
   9
  10 grep "SSJAVA: Injecting error" error.txt
  11
  12 #awk '{if($1=="SSJAVA:" && $2=="Injecting"){print "inj",x};{x=$1} }' error.txt >> $2
  13 awk '{if($1=="SSJAVA:" && $2=="Injecting"){getline; print "inj",$0} }' error.txt >> $2
  14
  15 X=converterTempFile
  16
  17 sed -e '/^SSJAVA:/ d' -e '1,/+++/ d' error.txt > $X
  18
  19 mv $X error.txt