From 4f3c2cf50427f7ce7fbb1ad0fd0ead1bf398c922 Mon Sep 17 00:00:00 2001
From: Michal Sojka <sojkam1@fel.cvut.cz>
Date: Sat, 16 Sep 2017 00:13:59 +0200
Subject: [PATCH] Change the cron script (btw. we are now triggered by systemd
 timers)

---
 continuous/cron.sh | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/continuous/cron.sh b/continuous/cron.sh
index 9f8f4a2..6a53ecd 100755
--- a/continuous/cron.sh
+++ b/continuous/cron.sh
@@ -3,6 +3,7 @@
 PATH=$PATH:$HOME/bin
 
 set -e
+set -o pipefail
 
 cd $(dirname $0)
 
@@ -16,11 +17,7 @@ mkdir -p logs
 NOW=$(date +%F_%R:%S)
 LOG=${NOW}.log
 
-if ! make -C steps > logs/$LOG 2>&1; then
-       cat logs/$LOG
-       exit 1
-fi
-
+make -C steps 1>&1 | tee logs/$LOG
 make -C www --silent publish
 
 ( cd logs && git add $LOG && git commit --quiet -m 'Automatic commit' && git push --quiet )
-- 
2.39.2