From 91b49c632342f1a3f07a0df63399d6b67515bb17 Mon Sep 17 00:00:00 2001 From: Darragh Elliott Date: Fri, 23 Aug 2024 13:01:45 +0200 Subject: [PATCH] Simplify logic around triggering full build on webserver --- build/build_main.sh | 3 ++- status.fsfe.org/fsfe.org/index.cgi | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/build/build_main.sh b/build/build_main.sh index 7bbc56a07e..d3f8537314 100755 --- a/build/build_main.sh +++ b/build/build_main.sh @@ -67,8 +67,9 @@ fi [ -z "$inc_scaffold" ] && . "$basedir/build/scaffold.sh" case "$command" in - git_build_into) if [ "${statusdir}/full_build" -nt "${statusdir}/../index.cgi" ]; then + git_build_into) if [ -f "${statusdir}/full_build" ]; then debug "discovered flag file, performing full build" + rm "${statusdir}/full_build" build_into else git_build_into diff --git a/status.fsfe.org/fsfe.org/index.cgi b/status.fsfe.org/fsfe.org/index.cgi index 7cd6c4447d..f3ed5a7ece 100755 --- a/status.fsfe.org/fsfe.org/index.cgi +++ b/status.fsfe.org/fsfe.org/index.cgi @@ -70,7 +70,7 @@ cat <<-HTML_END
Duration:
$([ "$duration" -gt 0 ] && duration ${duration})
Termination Status:
${term_status:-running...}
-$(if [ ./$DATADIR/full_build -nt ./index.cgi ]; then +$(if [ -f ./$DATADIR/full_build ]; then printf 'Full rebuild will be started within next minute.' else printf 'Schedule full rebuild'