candi: removed FEniCS specific variable

diff --git a/candi.sh b/candi.sh
index 8bda5efc7f45186b0f23ea5f2d52a645a3278f5f..a009c7df1de47aaac3d66fb1c6888526c3d4d8ea 100755 (executable)
--- 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)