From: Timo Heister <timo.heister@gmail.com>
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=7be8a72d96dc4b59dce90f2f3ec7d9b97a538548;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
 }