os/doc
3
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

spaces

Browse source
This commit is contained in:
Wolfram Schneider 2017-10-07 09:07:53 +00:00
parent 29cff92547
commit 3fed2208d4
Notes: svn2git 2020-12-08 03:00:23 +00:00 
svn path=/head/; revision=51075
1 changed files with 11 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

21
share/tools/webupdate-regression
View file

@ -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