diff --git a/automated/build.sh b/automated/build.sh index 73e42a5d..059a2b1d 100755 --- a/automated/build.sh +++ b/automated/build.sh @@ -161,7 +161,7 @@ fi docker run $ARGS_BUILD $IMAGE nice -n 15 /bin/bash -c " chown $USER $HOME exec sudo -E -u $USER env \"HOME=$HOME\" \"PATH=\$PATH\" curator build --jobs $JOBS - " |& tee $SHORTNAME-build.log + " # Make sure we actually need this snapshot. We used to perform this check # exclusively before building. Now we perform it after as well for the case of diff --git a/automated/run-lts.sh b/automated/run-lts.sh new file mode 100755 index 00000000..9e86b750 --- /dev/null +++ b/automated/run-lts.sh @@ -0,0 +1,7 @@ +#!/usr/bin/env bash + +cd "$(dirname "${BASH_SOURCE[0]}")" + +git pull +time script -q -c "./build.sh $*" $1-build-$(date -u +%F_%T) +date diff --git a/automated/run-nightly.sh b/automated/run-nightly.sh index ca00505c..12ed6c9b 100755 --- a/automated/run-nightly.sh +++ b/automated/run-nightly.sh @@ -9,11 +9,11 @@ esac while true; do git pull - time ./build.sh nightly-$(date -u +%F) $cmd + time script -q -c "./build.sh nightly-$(date -u +%F) $cmd" nightly-build-$(date -u +%F_%T) ${cmd:+exit 0} ${once:+date; exit 0} echo "$0: run completed at $(date)" echo - sleep 60m + sleep 99m echo done