From 9b70ab15046c64aeb9d8df7892a8f161c0cf68a4 Mon Sep 17 00:00:00 2001 From: Timo Heister Date: Fri, 8 Sep 2017 08:50:06 -0400 Subject: [PATCH] fix PATH in configuration instead of writing the current PATH, write "$PATH" by escaping it. --- deal.II-toolchain/packages/git.package | 2 +- deal.II-toolchain/packages/numdiff.package | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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 } -- 2.39.5