Push logs to remote repo (for backing up)

[can-benchmark.git] / continuous / cron.sh

diff --git a/continuous/cron.sh b/continuous/cron.sh
index 0e892d4abe1aa9ae83c7fc902f9332eb1b4e2301..b61a8f39b163aedfa3557af7d2b5def6cfa5d88d 100755 (executable)
--- a/continuous/cron.sh
+++ b/continuous/cron.sh
@@ -1,5 +1,7 @@
 #!/bin/bash
 
+PATH=$PATH:$HOME/bin
+
 set -e
 
 cd $(dirname $0)
@@ -7,5 +9,10 @@ cd $(dirname $0)
 mkdir -p logs
 
 NOW=$(date +%F_%R:%S)
+LOG=${NOW}.log
+
+make -C steps > logs/$LOG 2>&1 || cat logs/$LOG
+
+make -C www --silent publish
 
-make -C steps > logs/${NOW}.log 2>&1
+( cd logs && git add $LOG && git commit --quiet -m 'Automatic commit' && git push --quiet )