mirror of
https://github.com/commercialhaskell/stackage.git
synced 2026-02-21 10:37:52 +01:00
automated: touch the log symlinks when finished
This commit is contained in:
parent
129379baac
commit
dee8c13e52
@ -6,4 +6,5 @@ git pull
|
|||||||
LOG_FILE="$1-build-$(date -u +%F_%T).log"
|
LOG_FILE="$1-build-$(date -u +%F_%T).log"
|
||||||
ln -sf $LOG_FILE lts-build.log
|
ln -sf $LOG_FILE lts-build.log
|
||||||
time script -q -c "./build.sh $*" $LOG_FILE
|
time script -q -c "./build.sh $*" $LOG_FILE
|
||||||
|
touch -h $LOG_FILE
|
||||||
date
|
date
|
||||||
|
|||||||
@ -15,6 +15,7 @@ while true; do
|
|||||||
fi
|
fi
|
||||||
ln -sf $LOG_FILE nightly-build.log
|
ln -sf $LOG_FILE nightly-build.log
|
||||||
time script -q -c "./build.sh nightly-$(date -u +%F) $cmd" $LOG_FILE
|
time script -q -c "./build.sh nightly-$(date -u +%F) $cmd" $LOG_FILE
|
||||||
|
touch -h $LOG_FILE
|
||||||
${cmd:+exit 0}
|
${cmd:+exit 0}
|
||||||
${once:+date; exit 0}
|
${once:+date; exit 0}
|
||||||
echo "$0: run completed at $(date)"
|
echo "$0: run completed at $(date)"
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user