From: Daniel Arndt Date: Tue, 15 May 2018 19:55:57 +0000 (+0200) Subject: Move patch file X-Git-Tag: v9.0.0~17^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F75%2Fhead;p=candi.git Move patch file --- diff --git a/deal.II-toolchain/packages/boost.package b/deal.II-toolchain/packages/boost.package index cd6dfe2..a8ee302 100644 --- a/deal.II-toolchain/packages/boost.package +++ b/deal.II-toolchain/packages/boost.package @@ -24,7 +24,7 @@ package_specific_patch () { if [ "$VERSION" = "1_63_0" ]; then cd ${UNPACK_PATH}/${EXTRACTSTO} cecho ${WARN} "applying patch for zlib bzip conflict" - patch -p0 --forward < ${ORIG_DIR}/${PROJECT}/patches/boost-conflict.patch || true + patch -p0 --forward < ${ORIG_DIR}/${PROJECT}/patches/boost-1.63.0-conflict.patch || true fi } diff --git a/deal.II-toolchain/patches/boost-conflict.patch b/deal.II-toolchain/patches/boost-1.63.0-conflict.patch similarity index 100% rename from deal.II-toolchain/patches/boost-conflict.patch rename to deal.II-toolchain/patches/boost-1.63.0-conflict.patch