From: Timo Heister Date: Thu, 11 Oct 2018 14:30:49 +0000 (+0200) Subject: fix numdiff path X-Git-Tag: v9.0.0^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F99%2Fhead;p=candi.git fix numdiff path --- diff --git a/deal.II-toolchain/packages/numdiff.package b/deal.II-toolchain/packages/numdiff.package index aa288dd..203f90a 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}/bin:\${PATH} " >> $CONFIG_FILE }