From b0a384bd9af7b8b9546d6e649e5935b2c2e5733b Mon Sep 17 00:00:00 2001 From: =?utf8?q?Uwe=20K=C3=B6cher?= Date: Mon, 2 Nov 2015 19:05:16 +0100 Subject: [PATCH] candi: default project is now deal.II-toolchain --- candi.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/candi.sh b/candi.sh index 1522f11..8bda5ef 100755 --- a/candi.sh +++ b/candi.sh @@ -520,7 +520,7 @@ if [ -f local.cfg ]; then fi # If any variables are missing, revert them to defaults -default PROJECT=deal.II +default PROJECT=deal.II-toolchain default DOWNLOAD_PATH=${PREFIX_PATH}/src default UNPACK_PATH=${PREFIX_PATH}/${PROJECT}-unpack -- 2.39.5