From: Timo Heister <timo.heister@gmail.com>
Date: Fri, 8 Sep 2017 12:50:06 +0000 (-0400)
Subject: fix PATH in configuration
X-Git-Tag: v8.5.1~17^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9b70ab15046c64aeb9d8df7892a8f161c0cf68a4;p=candi.git

fix PATH in configuration

instead of writing the current PATH, write "$PATH" by escaping it.
---

diff --git a/deal.II-toolchain/packages/git.package b/deal.II-toolchain/packages/git.package
index 93a5f2c..48d496b 100644
--- a/deal.II-toolchain/packages/git.package
+++ b/deal.II-toolchain/packages/git.package
@@ -26,6 +26,6 @@ package_specific_conf () {
     CONFIG_FILE=${CONFIGURATION_PATH}/${NAME}
     rm -f $CONFIG_FILE
     echo "
-export PATH=${INSTALL_PATH}/bin:$PATH
+export PATH=${INSTALL_PATH}/bin:\${PATH}
 " >> $CONFIG_FILE
 }
diff --git a/deal.II-toolchain/packages/numdiff.package b/deal.II-toolchain/packages/numdiff.package
index 72fc4ab..aa288dd 100644
--- a/deal.II-toolchain/packages/numdiff.package
+++ b/deal.II-toolchain/packages/numdiff.package
@@ -18,6 +18,6 @@ package_specific_conf () {
     CONFIG_FILE=${CONFIGURATION_PATH}/${NAME}
     rm -f $CONFIG_FILE
     echo "
-export PATH=${INSTALL_PATH}:$PATH
+export PATH=${INSTALL_PATH}:\${PATH}
 " >> $CONFIG_FILE
 }