From dcc3ba5a35e222746678acb346440922cbefa0e7 Mon Sep 17 00:00:00 2001
From: Jeroen Demeyer <jdemeyer@cage.ugent.be>
Date: Thu, 23 Feb 2017 09:04:06 +0100
Subject: [PATCH] Always use V=1 for logfiles

---
 build/bin/sage-logger            | 9 ++++++---
 build/pkgs/libfplll/spkg-install | 2 +-
 2 files changed, 7 insertions(+), 4 deletions(-)

diff --git a/build/bin/sage-logger b/build/bin/sage-logger
index e7e8428c203..fb344eb050d 100755
--- a/build/bin/sage-logger
+++ b/build/bin/sage-logger
@@ -60,14 +60,17 @@ else
     SED=cat
 fi
 
+# Store the current value of V, but do all logging of child processes
+# with V=1 to ensure that no information is lost.
+currentV=$V
+export V=1
+
 mkdir -p "$logdir"
 
-if [[ "$V" = 0 && $use_prefix = true ]]; then
+if [[ "$currentV" = 0 && $use_prefix = true ]]; then
     # Silent build.
     # Similar to https://www.gnu.org/software/automake/manual/html_node/Automake-Silent-Rules.html#Automake-Silent-Rules
     echo "[$logname] installing. Log file: $logfile"
-    # Use verbose mode for output to logfiles.
-    export V=1
     ( exec>> $logfile 2>&1 ; eval "$cmd" )
     status=$?
     if [[ $status != 0 ]]; then
diff --git a/build/pkgs/libfplll/spkg-install b/build/pkgs/libfplll/spkg-install
index efc893b2926..c2517c42ad5 100755
--- a/build/pkgs/libfplll/spkg-install
+++ b/build/pkgs/libfplll/spkg-install
@@ -54,7 +54,7 @@ if [ $? -ne 0 ]; then
 fi
 
 echo "Now building fplll..."
-$MAKE V=1
+$MAKE
 if [ $? -ne 0 ]; then
     echo "Error building fplll"
     exit 1