From 62ae47ba61ede2d8d8636f34abb558825cdd7518 Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Sat, 19 Mar 2022 12:09:59 +0800 Subject: [PATCH] build.sh: keep a copy of the previous build.log for reference This should be quite useful specially when looping with run-nightly.sh since otherwise the old log file is immediately lost. We might consider later if we want to keep more logs around, though with nightly they would build up quite fast [skip ci] --- automated/build.sh | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/automated/build.sh b/automated/build.sh index d2e29c1a..67ebf945 100755 --- a/automated/build.sh +++ b/automated/build.sh @@ -124,6 +124,11 @@ case $SHORTNAME in nightly) JOBS=1 ;; esac +if [ -e "$SHORTNAME-build.log" ] +then + cp -p $SHORTNAME-build.log $SHORTNAME-build.log-previous +fi + # Now do the actual build. We need to first set the owner of the home directory # correctly, so we run the command as root, change owner, and then use sudo to # switch back to the current user