svn commit: r51073 - head/share/tools

[Wolfram Schneider]

Author: wosch
Date: Sat Oct  7 09:06:45 2017
New Revision: 51073
URL: https://svnweb.freebsd.org/changeset/doc/51073

Log:
  log time for each test

Modified:
  head/share/tools/webupdate-regression

Modified: head/share/tools/webupdate-regression
==============================================================================
--- head/share/tools/webupdate-regression	Sat Oct  7 09:06:20 2017	(r51072)
+++ head/share/tools/webupdate-regression	Sat Oct  7 09:06:45 2017	(r51073)
@@ -48,12 +48,21 @@ 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 ()
 {
   dir=$(mktemp -d /tmp/doc-build.XXXXXXX)
@@ -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"