From 8478bccfea69421f6edf3af73bb5d0b15d0cee1c Mon Sep 17 00:00:00 2001 From: =?utf8?q?Uwe=20K=C3=B6cher?= Date: Mon, 2 Nov 2015 20:28:34 +0100 Subject: [PATCH] candi: removed FEniCS specific variable --- candi.sh | 1 - 1 file changed, 1 deletion(-) diff --git a/candi.sh b/candi.sh index 8bda5ef..a009c7d 100755 --- a/candi.sh +++ b/candi.sh @@ -814,7 +814,6 @@ for PACKAGE in ${PACKAGES[@]}; do unset BUILDDIR unset CONFOPTS unset MAKEOPTS - unset SCONSOPTS unset CONFIG_FILE DOWNLOADER=wget TARGETS=('' install) -- 2.39.5