Merge pull request #99 from tjhei/fix_numdiff_path

fix numdiff path
dealii · Oct 12, 2018 · eb6dcec · eb6dcec
2 parents 1a76b54 + 7be8a72
commit eb6dcec
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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
 }