diff --git a/scripts/fullcheck.sh b/scripts/fullcheck.sh index 2fa0f2c39b3891389e446ff732976a9980dca500..195e762872303f3ebe4999db1038966ff16e8d27 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