Add total time to test.out file

diff --git a/regress/do_all_tests b/regress/do_all_tests
index ffbff3c4f8bd528c427890da69c269aa4e7356af..4d4a99f1fa7839fb0d5a12c5a59a9e6306e9d39c 100755 (executable)
--- a/regress/do_all_tests
+++ b/regress/do_all_tests
@@ -31,6 +31,7 @@ echo " " >>test.out
 echo " "
 echo "End do_all tests"
 echo "End do_all tests" >>test.out
+./endtime >>test.out
 scripts/cleanup
 cat test.out
 ./endtime