From 9c9172be1473400e96b1c7d15ba411adc7538515 Mon Sep 17 00:00:00 2001 From: Timo Heister Date: Fri, 2 Oct 2015 17:09:03 -0400 Subject: [PATCH] allow overriding prefix_path --- project-deal.II.cfg | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.39.5