diff --git a/automated/run-lts.sh b/automated/run-lts.sh index 9e86b750..08e67045 100755 --- a/automated/run-lts.sh +++ b/automated/run-lts.sh @@ -3,5 +3,5 @@ cd "$(dirname "${BASH_SOURCE[0]}")" git pull -time script -q -c "./build.sh $*" $1-build-$(date -u +%F_%T) +time script -q -c "./build.sh $*" $1-build-$(date -u +%F_%T).log date diff --git a/automated/run-nightly.sh b/automated/run-nightly.sh index 12ed6c9b..a3976b45 100755 --- a/automated/run-nightly.sh +++ b/automated/run-nightly.sh @@ -9,7 +9,7 @@ esac while true; do git pull - time script -q -c "./build.sh nightly-$(date -u +%F) $cmd" nightly-build-$(date -u +%F_%T) + time script -q -c "./build.sh nightly-$(date -u +%F) $cmd" nightly-build-$(date -u +%F_%T).log ${cmd:+exit 0} ${once:+date; exit 0} echo "$0: run completed at $(date)"