tweak scripts to take mp3 filename argument
[IRC.git] / Robust / src / Benchmarks / SSJava / MP3Decoder / run
1 ./MP3Player.bin focus.mp3