]> https://gitweb.dealii.org/ - candi.git/commitdiff
Move patch file 75/head
authorDaniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Tue, 15 May 2018 19:55:57 +0000 (21:55 +0200)
committerDaniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Tue, 15 May 2018 19:55:57 +0000 (21:55 +0200)
deal.II-toolchain/packages/boost.package
deal.II-toolchain/patches/boost-1.63.0-conflict.patch [moved from deal.II-toolchain/patches/boost-conflict.patch with 100% similarity]

index cd6dfe21d37c4f35c3f689cb1d2fd219cd077d8c..a8ee302b2fd67dd5ff1a8c3abfc80dfbf6691617 100644 (file)
@@ -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
 }
 

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.