From 3fed2208d4a3c52fa1f8a91c26f18dd0a2e361dc Mon Sep 17 00:00:00 2001 From: Wolfram Schneider Date: Sat, 7 Oct 2017 09:07:53 +0000 Subject: spaces --- share/tools/webupdate-regression | 21 +++++++++++---------- 1 file changed, 11 insertions(+), 10 deletions(-) (limited to 'share/tools') diff --git a/share/tools/webupdate-regression b/share/tools/webupdate-regression index d8e689a442..1339476441 100755 --- a/share/tools/webupdate-regression +++ b/share/tools/webupdate-regression @@ -56,7 +56,7 @@ log () { buildstop="$(date +%s)" build_sec=$(($buildstop - $buildstart)) - echo " ($build_sec sec)" + echo "($build_sec sec)" } # global build start @@ -99,7 +99,7 @@ build_doc () { logfile=$1 buildstart - echo -n "build doc (4-40min) $(pwd)/$logfile" + echo -n "build doc (4-40min) $(pwd)/$logfile " time make $make_opt p-all >> $logfile 2>&1; log $logfile } @@ -110,9 +110,10 @@ build_htdocs_web () buildstart ( cd en_US.ISO8859-1/htdocs - echo -n "build htdocs web (1min) $(pwd)/$logfile" + echo -n "build htdocs web (1min) $(pwd)/$logfile " WEB_ONLY=YES time make $make_opt >> $logfile 2>&1; log $logfile - echo -n "build htdocs web/ports (1min)" + buildstart + echo -n "build htdocs web/ports (1min) $(pwd)/$logfile " WEB_ONLY=YES time make -C./ports $make_opt >> $logfile 2>&1; log $logfile ) } @@ -125,7 +126,7 @@ build_htdocs () buildstart ( cd en_US.ISO8859-1/htdocs - echo -n "build htdocs (1-3min) $(pwd)/$logfile" + echo -n "build htdocs (1-3min) $(pwd)/$logfile " time make $make_opt all >> $logfile 2>&1; log $logfile ) } @@ -137,7 +138,7 @@ install_htdocs () buildstart ( cd en_US.ISO8859-1/htdocs - echo -n "install htdocs web (<10 sec) $(pwd)/$logfile" + echo -n "install htdocs web (<10 sec) $(pwd)/$logfile " DESTDIR=$dir/www WEB_ONLY=YES time make $make_opt install >> $logfile 2>&1; log $logfile #egrep -rl wosch $dir/www >/dev/null ) @@ -153,7 +154,7 @@ install_doc () make_opt= cd en_US.ISO8859-1/htdocs - echo -n "install htdocs (<30 sec) $(pwd)/$logfile" + echo -n "install htdocs (<30 sec) $(pwd)/$logfile " DESTDIR=$dir/www time make $make_opt install >> $logfile 2>&1; log $logfile ) } @@ -164,7 +165,7 @@ clean_doc () { logfile=$1 buildstart - echo -n "clean doc (<5 sec) $(pwd)/$logfile" + echo -n "clean doc (<5 sec) $(pwd)/$logfile " time make $make_opt p-clean >> $logfile 2>&1; log $logfile } @@ -176,7 +177,7 @@ clean_htdocs () buildstart ( cd en_US.ISO8859-1/htdocs - echo -n "clean htdocs web + doc (<20 sec) $(pwd)/$logfile" + echo -n "clean htdocs web + doc (<20 sec) $(pwd)/$logfile " time make $make_opt clean >> $logfile 2>&1; log $logfile ) } @@ -268,7 +269,7 @@ fi # full run time buildstart=$buildstart_script -log +echo "total run time: $(log)" exit 0 -- cgit v1.3