From 48343b13f3b3bd60bb89f139b5b23613aeb8d8fd Mon Sep 17 00:00:00 2001
From: edoapra <edoardo.apra@gmail.com>
Date: Wed, 22 Nov 2017 21:42:37 -0800
Subject: [PATCH] make.log

---
 travis/sleep_loop.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/travis/sleep_loop.sh b/travis/sleep_loop.sh
index 1157bf2fb7..61d2cabf0f 100755
--- a/travis/sleep_loop.sh
+++ b/travis/sleep_loop.sh
@@ -8,7 +8,7 @@ do
     sleep 60
     if kill -0 "$pid" 2>/dev/null; then
 	echo ' ==== ' `date` ' ==== '
-	tail -1 log
+	tail -1 make.log
     elif wait "$pid"; then
 	break          #Abandon the loop.
     fi