From: Timo Heister Date: Fri, 2 Oct 2015 21:09:03 +0000 (-0400) Subject: allow overriding prefix_path X-Git-Tag: v0.7~13^2^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9c9172be1473400e96b1c7d15ba411adc7538515;p=candi.git allow overriding prefix_path --- diff --git a/project-deal.II.cfg b/project-deal.II.cfg index f42f1d1..649d027 100644 --- a/project-deal.II.cfg +++ b/project-deal.II.cfg @@ -64,7 +64,7 @@ PROCS=${PROCS:-1} ######################################################################### # Prefix directory -PREFIX_PATH=~/apps/candi +PREFIX_PATH=${PREFIX_PATH:-~/apps/candi} ######################################################################### # Setup compiler name string