fix: bash on macos

diff --git a/deal.II-toolchain/packages/parmetis.package b/deal.II-toolchain/packages/parmetis.package
index b4047e45c667bdeb08b26589cdf445e960244c74..2a4ec83f19a19ba37f34c96da30b7713f06b85d4 100644 (file)
--- a/deal.II-toolchain/packages/parmetis.package
+++ b/deal.II-toolchain/packages/parmetis.package
@@ -36,10 +36,12 @@ package_specific_build() {
 }
 
 package_specific_patch () {
-    if [ ${PLATFORM_OSTYPE} == linux && ${VERSION} == "4.0.3" ]; then
-        cd ${UNPACK_PATH}/${EXTRACTSTO}
-        cecho ${WARN} "applying patch for building METIS shared libraries"
-        patch -p0 --forward < ${ORIG_DIR}/${PROJECT}/patches/parmetis-4.0.3-build.patch || true
+    if [ ${PLATFORM_OSTYPE} == linux ]; then
+        if [ ${VERSION} == "4.0.3" ]; then
+            cd ${UNPACK_PATH}/${EXTRACTSTO}
+            cecho ${WARN} "applying patch for building METIS shared libraries"
+            patch -p0 --forward < ${ORIG_DIR}/${PROJECT}/patches/parmetis-4.0.3-build.patch || true
+        fi
     fi
 }