From 3421c957ffaecd0b74fd9e45dba80382a529da58 Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Wed, 18 Feb 2026 15:28:51 +0800 Subject: [PATCH] automated: add back .log extensions to log files --- automated/run-lts.sh | 2 +- automated/run-nightly.sh | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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)"