diff --git a/tools/webupdate b/tools/webupdate index cbf5f9ac2b..b09244931a 100644 --- a/tools/webupdate +++ b/tools/webupdate @@ -30,7 +30,7 @@ # 2 - failure in CVS operations # 3 - failure in make operations # -# $FreeBSD: www/tools/webupdate,v 1.1 2001/06/06 22:45:43 dd Exp $ +# $FreeBSD: www/tools/webupdate,v 1.2 2001/06/14 04:13:24 dd Exp $ # # @@ -72,6 +72,11 @@ cd $BUILDDIR || exit 1; rm -f $LOGFILE 2>/dev/null; touch $LOGFILE; +# XXX If one of the directories in $subtrees doesn't exist, *all* of +# them will be wiped and checked out again. This should only happen +# if something went terribly wrong, or if there's a new entry in +# $subtrees, so I (dd) don't plan on fixing it; there's no sense in +# optimizing something that should only happen twice a year (if that). cond="X`date '+%u'` = X7 `echo $subtrees | sed -E 's/([^ ]*)/-o ! -d \1/g'`"; if [ $cond ]; then # Remove the old copies.