]> https://gitweb.dealii.org/ - candi.git/commitdiff
fix: bash on macos 84/head
authorUwe Köcher <koecher@hsu-hamburg.de>
Tue, 29 May 2018 13:43:46 +0000 (15:43 +0200)
committerUwe Köcher <koecher@hsu-hamburg.de>
Tue, 29 May 2018 13:43:46 +0000 (15:43 +0200)
deal.II-toolchain/packages/parmetis.package

index b4047e45c667bdeb08b26589cdf445e960244c74..2a4ec83f19a19ba37f34c96da30b7713f06b85d4 100644 (file)
@@ -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
 }
 

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.