From 7be8a72d96dc4b59dce90f2f3ec7d9b97a538548 Mon Sep 17 00:00:00 2001 From: Timo Heister Date: Thu, 11 Oct 2018 16:30:49 +0200 Subject: [PATCH] fix numdiff path --- deal.II-toolchain/packages/numdiff.package | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 } -- 2.39.5