log full run time
This commit is contained in:
parent
cea67a94b2
commit
29cff92547
Notes:
svn2git
2020-12-08 03:00:23 +00:00
svn path=/head/; revision=51074
1 changed files with 7 additions and 2 deletions
|
@ -1,5 +1,5 @@
|
||||||
#!/bin/sh
|
#!/bin/sh
|
||||||
# Copyright (c) 2017 Wolfram Schneider <wosch@FreeBSD.org>
|
# Copyright (c) 2017-2017 Wolfram Schneider <wosch@FreeBSD.org>
|
||||||
#
|
#
|
||||||
# regression test of the build of www.freebsd.org
|
# regression test of the build of www.freebsd.org
|
||||||
# Based on git
|
# Based on git
|
||||||
|
@ -49,13 +49,14 @@ export NO_OBJ
|
||||||
export FORMATS
|
export FORMATS
|
||||||
|
|
||||||
buildstart=""
|
buildstart=""
|
||||||
|
buildstart_script="$(date +%s)"
|
||||||
|
|
||||||
log () {
|
log () {
|
||||||
file=$1
|
file=$1
|
||||||
buildstop="$(date +%s)"
|
buildstop="$(date +%s)"
|
||||||
build_sec=$(($buildstop - $buildstart))
|
build_sec=$(($buildstop - $buildstart))
|
||||||
|
|
||||||
echo " ... done in $build_sec seconds"
|
echo " ($build_sec sec)"
|
||||||
}
|
}
|
||||||
|
|
||||||
# global build start
|
# global build start
|
||||||
|
@ -265,6 +266,10 @@ else
|
||||||
echo "Please cleanup: rm -rf $dir"
|
echo "Please cleanup: rm -rf $dir"
|
||||||
fi
|
fi
|
||||||
|
|
||||||
|
# full run time
|
||||||
|
buildstart=$buildstart_script
|
||||||
|
log
|
||||||
|
|
||||||
exit 0
|
exit 0
|
||||||
|
|
||||||
#EOF
|
#EOF
|
||||||
|
|
Loading…
Reference in a new issue