From e23e36f32fee126f31df82eb22121ae0b2532bbf Mon Sep 17 00:00:00 2001
From: Oliver Behnke <oliver.behnke@aei.mpg.de>
Date: Thu, 5 Mar 2020 20:08:24 +0100
Subject: [PATCH] Fix off-by-one error

---
 build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.sh b/build.sh
index 3ce7fe8..94b8674 100755
--- a/build.sh
+++ b/build.sh
@@ -68,7 +68,7 @@ failure()
         echo "Please check logfile: `basename $LOGFILE`"
         echo "These are the final ten lines:"
         echo "------------------------------------"
-        tail -n 14 $LOGFILE | head -n 10
+        tail -n 13 $LOGFILE | head -n 10
     fi
 
     echo "************************************" | tee -a $LOGFILE
-- 
GitLab