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

log time for each test

Browse source
This commit is contained in:
Wolfram Schneider 2017-10-07 09:06:45 +00:00
parent cbd09402e8
commit cea67a94b2
Notes: svn2git 2020-12-08 03:00:23 +00:00 
svn path=/head/; revision=51073
1 changed files with 17 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

18
share/tools/webupdate-regression
View file

@ -48,10 +48,19 @@ FORMATS=$WEBUPDATE_FORMATS
export NO_OBJ
export FORMATS
buildstart=""
log () {
file=$1
echo " ...done"
buildstop="$(date +%s)"
build_sec=$(($buildstop - $buildstart))
echo " ... done in $build_sec seconds"
}
# global build start
buildstart () {
buildstart="$(date +%s)"
}
checkout ()
@ -88,6 +97,7 @@ checkout ()
build_doc ()
{
logfile=$1
buildstart
echo -n "build doc (4-40min) $(pwd)/$logfile"
time make $make_opt p-all >> $logfile 2>&1; log $logfile
}
@ -96,6 +106,7 @@ build_doc ()
build_htdocs_web ()
{
logfile=$1
buildstart
(
cd en_US.ISO8859-1/htdocs
echo -n "build htdocs web (1min) $(pwd)/$logfile"
@ -110,6 +121,7 @@ build_htdocs_web ()
build_htdocs ()
{
logfile=$1
buildstart
(
cd en_US.ISO8859-1/htdocs
echo -n "build htdocs (1-3min) $(pwd)/$logfile"
@ -121,6 +133,7 @@ build_htdocs ()
install_htdocs ()
{
logfile=$1
buildstart
(
cd en_US.ISO8859-1/htdocs
echo -n "install htdocs web (<10 sec) $(pwd)/$logfile"
@ -133,6 +146,7 @@ install_htdocs ()
install_doc ()
{
logfile=$1
buildstart
(
echo "no parallel install"
make_opt=
@ -148,6 +162,7 @@ install_doc ()
clean_doc ()
{
logfile=$1
buildstart
echo -n "clean doc (<5 sec) $(pwd)/$logfile"
time make $make_opt p-clean >> $logfile 2>&1; log $logfile
}
@ -157,6 +172,7 @@ clean_doc ()
clean_htdocs ()
{
logfile=$1
buildstart
(
cd en_US.ISO8859-1/htdocs
echo -n "clean htdocs web + doc (<20 sec) $(pwd)/$logfile"