From 53277513d25bb71e6da63211a0a539c07771453a Mon Sep 17 00:00:00 2001
From: Tobias Malkmus <tomalk@mathematik.uni-freiburg.de>
Date: Fri, 17 Jan 2014 16:33:04 +0100
Subject: [PATCH] copy checklogs correct

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

diff --git a/scripts/fullcheck.sh b/scripts/fullcheck.sh
index 195e7628..facd7a11 100755
--- a/scripts/fullcheck.sh
+++ b/scripts/fullcheck.sh
@@ -95,6 +95,9 @@ done
 # perform make check
 # ------------------
 
+echo
+echo "Checking for minimal options ..."
+
 CHECKLOG="$WORKINGDIR/minimal-check.out"
 
 MAKE_CHECK_FLAGS=""
@@ -104,7 +107,7 @@ if ! $SCRIPTSDIR/check-tests.sh $FEMDIR "$MAKE_CHECK_FLAGS"; then
   echo "Error: Check failed with minimal options (see $CHECKLOG)"
   errors=$((errors+1))
 fi
-mv $WORKINGDIR/check-tests.out $CHECKLOG
+mv $FEMDIR/check-tests.out $CHECKLOG
 
 
 
-- 
GitLab