From 283b76d3c0c040a50c0e3326befd758d4cbba88e Mon Sep 17 00:00:00 2001
From: Tobias Malkmus <tomalk@mathematik.uni-freiburg.de>
Date: Tue, 14 Jan 2014 11:26:12 +0100
Subject: [PATCH] make nightly check script work correctly

---
 scripts/fullcheck.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/scripts/fullcheck.sh b/scripts/fullcheck.sh
index 2fa0f2c3..195e7628 100755
--- a/scripts/fullcheck.sh
+++ b/scripts/fullcheck.sh
@@ -98,9 +98,9 @@ done
 CHECKLOG="$WORKINGDIR/minimal-check.out"
 
 MAKE_CHECK_FLAGS=""
-MAKE_CHECK_FLAGS="$(source $OPTSDIR/$OPTS; echo $MAKE_CHECK_FLAGS)"
+MAKE_CHECK_FLAGS="$(source $MINIMALOPTS; echo $MAKE_CHECK_FLAGS)"
 
-if ! $SCRIPTSDIR/check-tests.sh $TESTDIR/dune-fem "$MAKE_CHECK_FLAGS"; then
+if ! $SCRIPTSDIR/check-tests.sh $FEMDIR "$MAKE_CHECK_FLAGS"; then
   echo "Error: Check failed with minimal options (see $CHECKLOG)"
   errors=$((errors+1))
 fi
-- 
GitLab