From 8478bccfea69421f6edf3af73bb5d0b15d0cee1c Mon Sep 17 00:00:00 2001
From: =?utf8?q?Uwe=20K=C3=B6cher?= <koecher@hsu-hamburg.de>
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