diff --git a/hpvm/scripts/llvm_installer.sh b/hpvm/scripts/llvm_installer.sh index 734023529dc247a2d2b3fcdbf80ac6bc27ae90e5..2c6f6ebe43ae57585d6f7d5d64337bef68a65c5e 100755 --- a/hpvm/scripts/llvm_installer.sh +++ b/hpvm/scripts/llvm_installer.sh @@ -182,7 +182,7 @@ make -j$NUM_THREADS #make install -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 properly.