tweak scripts to take mp3 filename argument

[IRC.git] / Robust / src / Benchmarks / SSJava / MP3Decoder / run-error.sh

diff --git a/Robust/src/Benchmarks/SSJava/MP3Decoder/run-error.sh b/Robust/src/Benchmarks/SSJava/MP3Decoder/run-error.sh
index aebe29da77c581f0b2aae8be75f6216a673a79ff..ccd5ad87a302ae88f8e5ea9442ff9a99bf4b1195 100755 (executable)
--- a/Robust/src/Benchmarks/SSJava/MP3Decoder/run-error.sh
+++ b/Robust/src/Benchmarks/SSJava/MP3Decoder/run-error.sh
@@ -1,5 +1,11 @@
 #!/bin/bash
-MP3Playere.bin focus.mp3 > error.txt
+
+if [[ -z $1 ]] ; then
+  echo 'Please supply an mp3 file name.'
+  exit
+fi
+
+MP3Playere.bin $1 > error.txt
 
 grep "SSJAVA: Injecting error" error.txt