Compare commits

..

No commits in common. "407aa3b0635f552a4881321c1f04c85a752bd2bb" and "e9dde7c0e829c4576ddbefbb28a4eaa730bd9275" have entirely different histories.

2 changed files with 2 additions and 3 deletions

View File

@ -67,9 +67,8 @@ fi
[ -z "$inc_scaffold" ] && . "$basedir/build/scaffold.sh"
case "$command" in
git_build_into) if [ -f "${statusdir}/full_build" ]; then
git_build_into) if [ "${statusdir}/full_build" -nt "${statusdir}/../index.cgi" ]; then
debug "discovered flag file, performing full build"
rm "${statusdir}/full_build"
build_into
else
git_build_into

View File

@ -70,7 +70,7 @@ cat <<-HTML_END
<dt>Duration:</dt><dd>$([ "$duration" -gt 0 ] && duration ${duration})</dd>
<dt>Termination Status:</dt><dd>${term_status:-running...}</dd>
</dl>
$(if [ -f ./$DATADIR/full_build ]; then
$(if [ ./$DATADIR/full_build -nt ./index.cgi ]; then
printf '<span class="fullbuild">Full rebuild will be started within next minute.</span>'
else
printf '<a class="fullbuild" href="./?full_build">Schedule full rebuild</a>'