]> https://gitweb.dealii.org/ - candi.git/commitdiff
fix numdiff path 99/head
authorTimo Heister <timo.heister@gmail.com>
Thu, 11 Oct 2018 14:30:49 +0000 (16:30 +0200)
committerTimo Heister <timo.heister@gmail.com>
Thu, 11 Oct 2018 14:30:49 +0000 (16:30 +0200)
deal.II-toolchain/packages/numdiff.package

index aa288dd43e258112598331971790523c56d8fcb9..203f90a30a9c43469e508651d63cfd47a338a95f 100644 (file)
@@ -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
 }

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.