projects
/
can-benchmark.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
2d44f2e
)
Change the cron script (btw. we are now triggered by systemd timers)
master
author
Michal Sojka
<sojkam1@fel.cvut.cz>
Fri, 15 Sep 2017 22:13:59 +0000
(
00:13
+0200)
committer
Michal Sojka
<sojkam1@fel.cvut.cz>
Fri, 15 Sep 2017 22:13:59 +0000
(
00:13
+0200)
continuous/cron.sh
patch
|
blob
|
history
diff --git
a/continuous/cron.sh
b/continuous/cron.sh
index
9f8f4a2
..
6a53ecd
100755
(executable)
--- 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 )