From 0f8de9b967fe82ef8e9eef5e258d9ef96788929e Mon Sep 17 00:00:00 2001
From: Jason Gross
Date: Tue, 19 May 2020 16:09:47 -0400
Subject: Print a newline at the end of timing tables

This, for example, improves the CI display, so that `$ echo
'end:coq.test'` does not appear on the same line as the end of the
timing table.
---
 .../002-single-file-sorting/time-of-build-pretty-user.log.expected      | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test-suite/coq-makefile/timing/precomputed-time-tests/002-single-file-sorting/time-of-build-pretty-user.log.expected')

diff --git a/test-suite/coq-makefile/timing/precomputed-time-tests/002-single-file-sorting/time-of-build-pretty-user.log.expected b/test-suite/coq-makefile/timing/precomputed-time-tests/002-single-file-sorting/time-of-build-pretty-user.log.expected
index 94122d8190..317497c68a 100644
--- a/test-suite/coq-makefile/timing/precomputed-time-tests/002-single-file-sorting/time-of-build-pretty-user.log.expected
+++ b/test-suite/coq-makefile/timing/precomputed-time-tests/002-single-file-sorting/time-of-build-pretty-user.log.expected
@@ -23,4 +23,4 @@
  0m07.18s |  574388 ko | Compilers/Z/Bounds/Pipeline/Definition        
  0m01.72s |  544172 ko | Compilers/Z/Bounds/Pipeline/ReflectiveTactics 
  0m01.67s |  646300 ko | Specific/Framework/SynthesisFramework         
- 0m01.19s |  539808 ko | Compilers/Z/Bounds/Pipeline                   
\ No newline at end of file
+ 0m01.19s |  539808 ko | Compilers/Z/Bounds/Pipeline                   
-- 
cgit v1.2.3