diff --git a/script/install_Parmetis.sh b/script/install_Parmetis.sh index 636583650a72f89337281c860d9dd18873f4c7e1..91b8ec0d8ecf02e65cd083ef3d3cd0cde0d31d5a 100755 --- a/script/install_Parmetis.sh +++ b/script/install_Parmetis.sh @@ -5,7 +5,7 @@ discover_os # check if the directory $1/PARMETIS exist -if [ -d "$1/PARMETIS" ]; then +if [ -f "$1/PARMETIS/include/parmetis.h" ]; then echo "PARMETIS is already installed" exit 0 fi