8 if [ "$1x" != "x" ]; then
12 echo "Test $CMD1 $CMD2"
15 BASE
=`echo $FILE | awk -F '.' '{ print $1 }'`
16 RUBYTIME
=`./time.rb sh -c "ruby $FILE > $FILE.out.ruby" 2>&1`
23 RBXTIME
=`./time.rb sh -c "rbx $FILE > $FILE.out.rbx" 2>&1`
30 echo "$BASE $RUBYTIME $RBXTIME"