From f67834dd18859ed333c88360f4141a99dc7db5dd Mon Sep 17 00:00:00 2001 From: manuel Date: Thu, 28 May 2009 19:22:52 +0200 Subject: push for me --- ue4/mycpu/test/test.sh | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) (limited to 'ue4/mycpu/test/test.sh') diff --git a/ue4/mycpu/test/test.sh b/ue4/mycpu/test/test.sh index ff1076c..43ddb9a 100755 --- a/ue4/mycpu/test/test.sh +++ b/ue4/mycpu/test/test.sh @@ -10,13 +10,20 @@ do programfile="$input" args="-c $programfile" + argsfile="${input/_program/_args}" memoryfile="${input/_program/_memory}" reffile="${input/_program/_output}" - if [ -e "$memoryfile" ] + + if [ ! -e "$argsfile" ] then - args+=" -m $memoryfile" + echo " ERROR: argsfile $argsfile doesn't exist" + exit 1 fi + args=$(cat "$argsfile") + args=${args/\#program\#/$input} + args=${args/\#memory\#/$memoryfile} + if [ ! -e "$reffile" ] then echo " ERROR: reference file $reffile doesn't exist" -- cgit v1.2.3