diff --git a/hpvm/scripts/automate_tests.sh b/hpvm/scripts/automate_tests.sh index e3b63dba82b56754cd4577f20cde6422eb096c04..517f66ad3e1f55aa18e1cf6500743be3198b5507 100644 --- a/hpvm/scripts/automate_tests.sh +++ b/hpvm/scripts/automate_tests.sh @@ -2,9 +2,9 @@ CURRENT_DIR=`pwd` BUILD_DIR=$CURRENT_DIR/build -HPVM_RT=hpvm-rt/hpvmrt.bc +HPVM_RT=hpvm-rt/hpvm-rt.bc -if [ -x $BUILD_DIR/tools/hpvm/projects/$HPVM_RT ]; then +if [ -f $BUILD_DIR/tools/hpvm/projects/$HPVM_RT ]; then true else echo HPVM not installed! Exiting without running tests!.