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 14e3d5aca7da5b2ac588dcd61106ab78f71adb4c..b61a8f39b163aedfa3557af7d2b5def6cfa5d88d 100755 (executable)
--- a/continuous/cron.sh
+++ b/continuous/cron.sh
@@ -9,6 +9,10 @@ cd $(dirname $0)
 mkdir -p logs
 
 NOW=$(date +%F_%R:%S)
-LOG=logs/${NOW}.log
+LOG=${NOW}.log
 
-make -C steps > $LOG 2>&1 || cat $LOG
+make -C steps > logs/$LOG 2>&1 || cat logs/$LOG
+
+make -C www --silent publish
+
+( cd logs && git add $LOG && git commit --quiet -m 'Automatic commit' && git push --quiet )