Merge PR #12368: Print a newline at the end of timing tables

Reviewed-by: SkySkimmer

25 files changed, 32 insertions, 27 deletions

diff --git a/doc/changelog/08-tools/12368-fix-missing-newline-time-file-maker.rst b/doc/changelog/08-tools/12368-fix-missing-newline-time-file-maker.rst
new file mode 100644
index 0000000000..8a43f5af94
--- /dev/null
+++ b/doc/changelog/08-tools/12368-fix-missing-newline-time-file-maker.rst
@@ -0,0 +1,4 @@
+- **Changed:**
+  The pretty-timed scripts and targets now print a newline at the end of their
+  tables, rather than creating text with no trailing newline (`#12368
+  <https://github.com/coq/coq/pull/12368>`_, by Jason Gross).
diff --git a/test-suite/coq-makefile/timing/after/time-of-build-both.log.desired b/test-suite/coq-makefile/timing/after/time-of-build-both.log.desired
index 541b307b5e..85aeab2c69 100644
--- a/test-suite/coq-makefile/timing/after/time-of-build-both.log.desired
+++ b/test-suite/coq-makefile/timing/after/time-of-build-both.log.desired
@@ -3,4 +3,4 @@
 0m00.47s | 394716 ko | Total Time / Peak Mem | 0m00.45s | 394392 ko || +0m00.01s ||       324 ko |    +4.44% |         +0.08%
 -----------------------------------------------------------------------------------------------------------------------------
 0m00.42s | 394716 ko | Fast.vo               | 0m00.02s |  57164 ko || +0m00.40s ||    337552 ko | +1999.99% |       +590.49%
-0m00.05s |  57124 ko | Slow.vo               | 0m00.43s | 394392 ko || -0m00.38s ||   -337268 ko |   -88.37% |        -85.51%
\ No newline at end of file
+0m00.05s |  57124 ko | Slow.vo               | 0m00.43s | 394392 ko || -0m00.38s ||   -337268 ko |   -88.37% |        -85.51%
diff --git a/test-suite/coq-makefile/timing/per-file-after/A.v.timing.diff.desired b/test-suite/coq-makefile/timing/per-file-after/A.v.timing.diff.desired
index 71e4ee0b32..ed5454b480 100644
--- a/test-suite/coq-makefile/timing/per-file-after/A.v.timing.diff.desired
+++ b/test-suite/coq-makefile/timing/per-file-after/A.v.timing.diff.desired
@@ -1,9 +1,9 @@
     After | Code                                                |    Before ||    Change |  % Change
 ----------------------------------------------------------------------------------------------------
- 0m14.06s | Total                                               |  0m00.72s || +0m13.34s | +1854.02%
+ 0m15.00s | Total                                               |  0m00.72s || +0m14.28s | +1983.61%
 ----------------------------------------------------------------------------------------------------
-0m13.582s | Chars 163 - 208 [Definition~foo1~:=~Eval~comp~i...] | 0m00.353s || +0m13.22s | +3747.59%
-0m00.335s | Chars 069 - 162 [Definition~foo0~:=~Eval~comp~i...] | 0m00.225s || +0m00.11s |   +48.88%
-0m00.152s | Chars 000 - 026 [Require~Coq.ZArith.BinInt.]        | 0m00.142s || +0m00.01s |    +7.04%
+0m14.578s | Chars 163 - 208 [Definition~foo1~:=~Eval~comp~i...] | 0m00.356s || +0m14.22s | +3994.94%
+0m00.284s | Chars 069 - 162 [Definition~foo0~:=~Eval~comp~i...] | 0m00.225s || +0m00.05s |   +26.22%
+ 0m00.14s | Chars 000 - 026 [Require~Coq.ZArith.BinInt.]        | 0m00.139s || +0m00.00s |    +0.71%
    0m00.s | Chars 027 - 068 [Declare~Reduction~comp~:=~nati...] |    N/A    || +0m00.00s |    N/A   
-   N/A    | Chars 027 - 068 [Declare~Reduction~comp~:=~vm_c...] |    0m00.s || +0m00.00s |    N/A   
\ No newline at end of file
+   N/A    | Chars 027 - 068 [Declare~Reduction~comp~:=~vm_c...] |    0m00.s || +0m00.00s |    N/A   
diff --git a/test-suite/coq-makefile/timing/precomputed-time-tests/001-correct-diff-sorting-order/time-of-build-both-real-absolute.log.expected b/test-suite/coq-makefile/timing/precomputed-time-tests/001-correct-diff-sorting-order/time-of-build-both-real-absolute.log.expected
index e7d289858b..948e28fbc6 100644
--- a/test-suite/coq-makefile/timing/precomputed-time-tests/001-correct-diff-sorting-order/time-of-build-both-real-absolute.log.expected
+++ b/test-suite/coq-makefile/timing/precomputed-time-tests/001-correct-diff-sorting-order/time-of-build-both-real-absolute.log.expected
@@ -23,4 +23,4 @@
  0m07.33s |  574388 ko | Compilers/Z/Bounds/Pipeline/Definition         |  0m07.40s |  578344 ko || -0m00.07s ||     -3956 ko |   -0.94% |         -0.68%
  0m01.93s |  544172 ko | Compilers/Z/Bounds/Pipeline/ReflectiveTactics  |  0m01.73s |  546112 ko || +0m00.19s ||     -1940 ko |  +11.56% |         -0.35%
  0m01.85s |  646300 ko | Specific/Framework/SynthesisFramework          |  0m01.95s |  648632 ko || -0m00.09s ||     -2332 ko |   -5.12% |         -0.35%
- 0m01.38s |  539808 ko | Compilers/Z/Bounds/Pipeline                    |  0m01.18s |  539160 ko || +0m00.19s ||       648 ko |  +16.94% |         +0.12%
\ No newline at end of file
+ 0m01.38s |  539808 ko | Compilers/Z/Bounds/Pipeline                    |  0m01.18s |  539160 ko || +0m00.19s ||       648 ko |  +16.94% |         +0.12%
diff --git a/test-suite/coq-makefile/timing/precomputed-time-tests/001-correct-diff-sorting-order/time-of-build-both-real-auto.log.expected b/test-suite/coq-makefile/timing/precomputed-time-tests/001-correct-diff-sorting-order/time-of-build-both-real-auto.log.expected
index 36f86e0e1e..ea36822c8d 100644
--- a/test-suite/coq-makefile/timing/precomputed-time-tests/001-correct-diff-sorting-order/time-of-build-both-real-auto.log.expected
+++ b/test-suite/coq-makefile/timing/precomputed-time-tests/001-correct-diff-sorting-order/time-of-build-both-real-auto.log.expected
@@ -23,4 +23,4 @@
  0m07.33s |  574388 ko | Compilers/Z/Bounds/Pipeline/Definition         |  0m07.40s |  578344 ko || -0m00.07s ||     -3956 ko |   -0.94% |         -0.68%
  0m01.93s |  544172 ko | Compilers/Z/Bounds/Pipeline/ReflectiveTactics  |  0m01.73s |  546112 ko || +0m00.19s ||     -1940 ko |  +11.56% |         -0.35%
  0m01.85s |  646300 ko | Specific/Framework/SynthesisFramework          |  0m01.95s |  648632 ko || -0m00.09s ||     -2332 ko |   -5.12% |         -0.35%
- 0m01.38s |  539808 ko | Compilers/Z/Bounds/Pipeline                    |  0m01.18s |  539160 ko || +0m00.19s ||       648 ko |  +16.94% |         +0.12%
\ No newline at end of file
+ 0m01.38s |  539808 ko | Compilers/Z/Bounds/Pipeline                    |  0m01.18s |  539160 ko || +0m00.19s ||       648 ko |  +16.94% |         +0.12%
diff --git a/test-suite/coq-makefile/timing/precomputed-time-tests/001-correct-diff-sorting-order/time-of-build-both-real-diff.log.expected b/test-suite/coq-makefile/timing/precomputed-time-tests/001-correct-diff-sorting-order/time-of-build-both-real-diff.log.expected
index 6415223693..b6c21a3145 100644
--- a/test-suite/coq-makefile/timing/precomputed-time-tests/001-correct-diff-sorting-order/time-of-build-both-real-diff.log.expected
+++ b/test-suite/coq-makefile/timing/precomputed-time-tests/001-correct-diff-sorting-order/time-of-build-both-real-diff.log.expected
@@ -23,4 +23,4 @@
  3m22.96s | 3302508 ko | Specific/NISTP256/AMD64/femul                  |  3m37.80s | 3307052 ko || -0m14.84s ||     -4544 ko |   -6.81% |         -0.13%
  2m35.79s | 1454696 ko | Specific/solinas32_2e255m765_12limbs/femul     |  2m59.21s | 1549104 ko || -0m23.42s ||    -94408 ko |  -13.06% |         -6.09%
  3m01.77s | 1589516 ko | Specific/solinas32_2e255m765_13limbs/femul     |  3m27.94s | 1656912 ko || -0m26.16s ||    -67396 ko |  -12.58% |         -4.06%
- 4m16.77s | 1617000 ko | Specific/X25519/C64/ladderstep                 |  5m16.83s | 1621500 ko || -1m00.06s ||     -4500 ko |  -18.95% |         -0.27%
\ No newline at end of file
+ 4m16.77s | 1617000 ko | Specific/X25519/C64/ladderstep                 |  5m16.83s | 1621500 ko || -1m00.06s ||     -4500 ko |  -18.95% |         -0.27%
diff --git a/test-suite/coq-makefile/timing/precomputed-time-tests/001-correct-diff-sorting-order/time-of-build-both-real.log.expected b/test-suite/coq-makefile/timing/precomputed-time-tests/001-correct-diff-sorting-order/time-of-build-both-real.log.expected
index 36f86e0e1e..ea36822c8d 100644
--- a/test-suite/coq-makefile/timing/precomputed-time-tests/001-correct-diff-sorting-order/time-of-build-both-real.log.expected
+++ b/test-suite/coq-makefile/timing/precomputed-time-tests/001-correct-diff-sorting-order/time-of-build-both-real.log.expected
@@ -23,4 +23,4 @@
  0m07.33s |  574388 ko | Compilers/Z/Bounds/Pipeline/Definition         |  0m07.40s |  578344 ko || -0m00.07s ||     -3956 ko |   -0.94% |         -0.68%
  0m01.93s |  544172 ko | Compilers/Z/Bounds/Pipeline/ReflectiveTactics  |  0m01.73s |  546112 ko || +0m00.19s ||     -1940 ko |  +11.56% |         -0.35%
  0m01.85s |  646300 ko | Specific/Framework/SynthesisFramework          |  0m01.95s |  648632 ko || -0m00.09s ||     -2332 ko |   -5.12% |         -0.35%
- 0m01.38s |  539808 ko | Compilers/Z/Bounds/Pipeline                    |  0m01.18s |  539160 ko || +0m00.19s ||       648 ko |  +16.94% |         +0.12%
\ No newline at end of file
+ 0m01.38s |  539808 ko | Compilers/Z/Bounds/Pipeline                    |  0m01.18s |  539160 ko || +0m00.19s ||       648 ko |  +16.94% |         +0.12%
diff --git a/test-suite/coq-makefile/timing/precomputed-time-tests/001-correct-diff-sorting-order/time-of-build-both-user-absolute.log.expected b/test-suite/coq-makefile/timing/precomputed-time-tests/001-correct-diff-sorting-order/time-of-build-both-user-absolute.log.expected
index 84d20f484a..a964c29da8 100644
--- a/test-suite/coq-makefile/timing/precomputed-time-tests/001-correct-diff-sorting-order/time-of-build-both-user-absolute.log.expected
+++ b/test-suite/coq-makefile/timing/precomputed-time-tests/001-correct-diff-sorting-order/time-of-build-both-user-absolute.log.expected
@@ -23,4 +23,4 @@
  0m07.18s |  574388 ko | Compilers/Z/Bounds/Pipeline/Definition         |  0m07.22s |  578344 ko || -0m00.04s ||     -3956 ko |   -0.55% |         -0.68%
  0m01.72s |  544172 ko | Compilers/Z/Bounds/Pipeline/ReflectiveTactics  |  0m01.58s |  546112 ko || +0m00.13s ||     -1940 ko |   +8.86% |         -0.35%
  0m01.67s |  646300 ko | Specific/Framework/SynthesisFramework          |  0m01.72s |  648632 ko || -0m00.05s ||     -2332 ko |   -2.90% |         -0.35%
- 0m01.19s |  539808 ko | Compilers/Z/Bounds/Pipeline                    |  0m01.04s |  539160 ko || +0m00.14s ||       648 ko |  +14.42% |         +0.12%
\ No newline at end of file
+ 0m01.19s |  539808 ko | Compilers/Z/Bounds/Pipeline                    |  0m01.04s |  539160 ko || +0m00.14s ||       648 ko |  +14.42% |         +0.12%
diff --git a/test-suite/coq-makefile/timing/precomputed-time-tests/001-correct-diff-sorting-order/time-of-build-both-user-auto.log.expected b/test-suite/coq-makefile/timing/precomputed-time-tests/001-correct-diff-sorting-order/time-of-build-both-user-auto.log.expected
index 7576dca88b..59af8c3145 100644
--- a/test-suite/coq-makefile/timing/precomputed-time-tests/001-correct-diff-sorting-order/time-of-build-both-user-auto.log.expected
+++ b/test-suite/coq-makefile/timing/precomputed-time-tests/001-correct-diff-sorting-order/time-of-build-both-user-auto.log.expected
@@ -23,4 +23,4 @@
  0m07.18s |  574388 ko | Compilers/Z/Bounds/Pipeline/Definition         |  0m07.22s |  578344 ko || -0m00.04s ||     -3956 ko |   -0.55% |         -0.68%
  0m01.72s |  544172 ko | Compilers/Z/Bounds/Pipeline/ReflectiveTactics  |  0m01.58s |  546112 ko || +0m00.13s ||     -1940 ko |   +8.86% |         -0.35%
  0m01.67s |  646300 ko | Specific/Framework/SynthesisFramework          |  0m01.72s |  648632 ko || -0m00.05s ||     -2332 ko |   -2.90% |         -0.35%
- 0m01.19s |  539808 ko | Compilers/Z/Bounds/Pipeline                    |  0m01.04s |  539160 ko || +0m00.14s ||       648 ko |  +14.42% |         +0.12%
\ No newline at end of file
+ 0m01.19s |  539808 ko | Compilers/Z/Bounds/Pipeline                    |  0m01.04s |  539160 ko || +0m00.14s ||       648 ko |  +14.42% |         +0.12%
diff --git a/test-suite/coq-makefile/timing/precomputed-time-tests/001-correct-diff-sorting-order/time-of-build-both-user-diff.log.expected b/test-suite/coq-makefile/timing/precomputed-time-tests/001-correct-diff-sorting-order/time-of-build-both-user-diff.log.expected
index 1173a6fe29..5ee974c9f3 100644
--- a/test-suite/coq-makefile/timing/precomputed-time-tests/001-correct-diff-sorting-order/time-of-build-both-user-diff.log.expected
+++ b/test-suite/coq-makefile/timing/precomputed-time-tests/001-correct-diff-sorting-order/time-of-build-both-user-diff.log.expected
@@ -23,4 +23,4 @@
  3m09.62s | 3302508 ko | Specific/NISTP256/AMD64/femul                  |  3m22.52s | 3307052 ko || -0m12.90s ||     -4544 ko |   -6.36% |         -0.13%
  2m23.70s | 1454696 ko | Specific/solinas32_2e255m765_12limbs/femul     |  2m44.11s | 1549104 ko || -0m20.41s ||    -94408 ko |  -12.43% |         -6.09%
  2m48.52s | 1589516 ko | Specific/solinas32_2e255m765_13limbs/femul     |  3m12.95s | 1656912 ko || -0m24.42s ||    -67396 ko |  -12.66% |         -4.06%
- 4m01.34s | 1617000 ko | Specific/X25519/C64/ladderstep                 |  4m59.49s | 1621500 ko || -0m58.15s ||     -4500 ko |  -19.41% |         -0.27%
\ No newline at end of file
+ 4m01.34s | 1617000 ko | Specific/X25519/C64/ladderstep                 |  4m59.49s | 1621500 ko || -0m58.15s ||     -4500 ko |  -19.41% |         -0.27%
diff --git a/test-suite/coq-makefile/timing/precomputed-time-tests/001-correct-diff-sorting-order/time-of-build-both-user.log.expected b/test-suite/coq-makefile/timing/precomputed-time-tests/001-correct-diff-sorting-order/time-of-build-both-user.log.expected
index 7576dca88b..59af8c3145 100644
--- a/test-suite/coq-makefile/timing/precomputed-time-tests/001-correct-diff-sorting-order/time-of-build-both-user.log.expected
+++ b/test-suite/coq-makefile/timing/precomputed-time-tests/001-correct-diff-sorting-order/time-of-build-both-user.log.expected
@@ -23,4 +23,4 @@
  0m07.18s |  574388 ko | Compilers/Z/Bounds/Pipeline/Definition         |  0m07.22s |  578344 ko || -0m00.04s ||     -3956 ko |   -0.55% |         -0.68%
  0m01.72s |  544172 ko | Compilers/Z/Bounds/Pipeline/ReflectiveTactics  |  0m01.58s |  546112 ko || +0m00.13s ||     -1940 ko |   +8.86% |         -0.35%
  0m01.67s |  646300 ko | Specific/Framework/SynthesisFramework          |  0m01.72s |  648632 ko || -0m00.05s ||     -2332 ko |   -2.90% |         -0.35%
- 0m01.19s |  539808 ko | Compilers/Z/Bounds/Pipeline                    |  0m01.04s |  539160 ko || +0m00.14s ||       648 ko |  +14.42% |         +0.12%
\ No newline at end of file
+ 0m01.19s |  539808 ko | Compilers/Z/Bounds/Pipeline                    |  0m01.04s |  539160 ko || +0m00.14s ||       648 ko |  +14.42% |         +0.12%
diff --git a/test-suite/coq-makefile/timing/precomputed-time-tests/002-single-file-sorting/time-of-build-pretty-real.log.expected b/test-suite/coq-makefile/timing/precomputed-time-tests/002-single-file-sorting/time-of-build-pretty-real.log.expected
index 94122d8190..317497c68a 100644
--- a/test-suite/coq-makefile/timing/precomputed-time-tests/002-single-file-sorting/time-of-build-pretty-real.log.expected
+++ b/test-suite/coq-makefile/timing/precomputed-time-tests/002-single-file-sorting/time-of-build-pretty-real.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                   
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                   
diff --git a/test-suite/coq-makefile/timing/precomputed-time-tests/003-non-utf8/time-of-build-pretty.log.expected b/test-suite/coq-makefile/timing/precomputed-time-tests/003-non-utf8/time-of-build-pretty.log.expected
index 6104c78380..ee9fca7eb4 100644
--- a/test-suite/coq-makefile/timing/precomputed-time-tests/003-non-utf8/time-of-build-pretty.log.expected
+++ b/test-suite/coq-makefile/timing/precomputed-time-tests/003-non-utf8/time-of-build-pretty.log.expected
@@ -304,4 +304,4 @@
  0m00.04s |   54440 ko | bedrock2/deps/coqutil/src/dlet                             
  0m00.04s |   54804 ko | bedrock2/deps/coqutil/src/sanity                           
  0m00.04s |   56096 ko | bedrock2/deps/riscv-coq/src/Utility/MMIOTrace              
- 0m00.03s |   54716 ko | bedrock2/compiler/src/util/LogGoal                         
\ No newline at end of file
+ 0m00.03s |   54716 ko | bedrock2/compiler/src/util/LogGoal                         
diff --git a/test-suite/coq-makefile/timing/precomputed-time-tests/004-per-file-fuzz/foo-real.v.timing.diff.expected b/test-suite/coq-makefile/timing/precomputed-time-tests/004-per-file-fuzz/foo-real.v.timing.diff.expected
index 76b0a35cb2..37f144b19b 100644
--- a/test-suite/coq-makefile/timing/precomputed-time-tests/004-per-file-fuzz/foo-real.v.timing.diff.expected
+++ b/test-suite/coq-makefile/timing/precomputed-time-tests/004-per-file-fuzz/foo-real.v.timing.diff.expected
@@ -26,4 +26,4 @@
    0m00.s | Chars 186-194 ~ 202-210 [exact~I.]                          |    N/A    || +0m00.00s |   N/A   
    N/A    | Chars 186-198 ~ 202-214 [constructor.]                      |    0m00.s || +0m00.00s |   N/A   
    0m00.s | Chars 195-199 ~ 215-219 [Qed.]                              |    0m00.s || +0m00.00s |   N/A   
-   0m00.s | Chars 200-257 ~ 220-277 [Goal~_~List.repeat~Z.div_eucl~...] |    0m00.s || +0m00.00s |   N/A   
\ No newline at end of file
+   0m00.s | Chars 200-257 ~ 220-277 [Goal~_~List.repeat~Z.div_eucl~...] |    0m00.s || +0m00.00s |   N/A   
diff --git a/test-suite/coq-makefile/timing/precomputed-time-tests/004-per-file-fuzz/foo-user.v.timing.diff.expected b/test-suite/coq-makefile/timing/precomputed-time-tests/004-per-file-fuzz/foo-user.v.timing.diff.expected
index 1e27d5d12b..a77215b67d 100644
--- a/test-suite/coq-makefile/timing/precomputed-time-tests/004-per-file-fuzz/foo-user.v.timing.diff.expected
+++ b/test-suite/coq-makefile/timing/precomputed-time-tests/004-per-file-fuzz/foo-user.v.timing.diff.expected
@@ -26,4 +26,4 @@
    0m00.s | Chars 173-183 ~ 189-199 [Goal~_~True.]                      |    0m00.s || +0m00.00s |   N/A   
    0m00.s | Chars 186-194 ~ 202-210 [exact~I.]                          |    N/A    || +0m00.00s |   N/A   
    N/A    | Chars 186-198 ~ 202-214 [constructor.]                      |    0m00.s || +0m00.00s |   N/A   
-   0m00.s | Chars 195-199 ~ 215-219 [Qed.]                              |    0m00.s || +0m00.00s |   N/A   
\ No newline at end of file
+   0m00.s | Chars 195-199 ~ 215-219 [Qed.]                              |    0m00.s || +0m00.00s |   N/A   
diff --git a/test-suite/coq-makefile/timing/precomputed-time-tests/005-correct-diff-sorting-order-mem/time-of-build-both-real-absolute.log.expected b/test-suite/coq-makefile/timing/precomputed-time-tests/005-correct-diff-sorting-order-mem/time-of-build-both-real-absolute.log.expected
index 2a2d2c1b2f..9d6231f2ce 100644
--- a/test-suite/coq-makefile/timing/precomputed-time-tests/005-correct-diff-sorting-order-mem/time-of-build-both-real-absolute.log.expected
+++ b/test-suite/coq-makefile/timing/precomputed-time-tests/005-correct-diff-sorting-order-mem/time-of-build-both-real-absolute.log.expected
@@ -23,4 +23,4 @@
  0m01.85s |  646300 ko | Specific/Framework/SynthesisFramework          |  0m01.95s |  648632 ko || -0m00.09s ||     -2332 ko |   -5.12% |         -0.35%
  0m07.33s |  574388 ko | Compilers/Z/Bounds/Pipeline/Definition         |  0m07.40s |  578344 ko || -0m00.07s ||     -3956 ko |   -0.94% |         -0.68%
  0m01.93s |  544172 ko | Compilers/Z/Bounds/Pipeline/ReflectiveTactics  |  0m01.73s |  546112 ko || +0m00.19s ||     -1940 ko |  +11.56% |         -0.35%
- 0m01.38s |  539808 ko | Compilers/Z/Bounds/Pipeline                    |  0m01.18s |  539160 ko || +0m00.19s ||       648 ko |  +16.94% |         +0.12%
\ No newline at end of file
+ 0m01.38s |  539808 ko | Compilers/Z/Bounds/Pipeline                    |  0m01.18s |  539160 ko || +0m00.19s ||       648 ko |  +16.94% |         +0.12%
diff --git a/test-suite/coq-makefile/timing/precomputed-time-tests/005-correct-diff-sorting-order-mem/time-of-build-both-real-auto.log.expected b/test-suite/coq-makefile/timing/precomputed-time-tests/005-correct-diff-sorting-order-mem/time-of-build-both-real-auto.log.expected
index 7e4cfaec1c..4864c1aaf7 100644
--- a/test-suite/coq-makefile/timing/precomputed-time-tests/005-correct-diff-sorting-order-mem/time-of-build-both-real-auto.log.expected
+++ b/test-suite/coq-makefile/timing/precomputed-time-tests/005-correct-diff-sorting-order-mem/time-of-build-both-real-auto.log.expected
@@ -23,4 +23,4 @@
  0m27.81s |  756080 ko | Specific/NISTP256/AMD64/fenz                   |  0m28.91s |  756216 ko || -0m01.10s ||      -136 ko |   -3.80% |         -0.01%
  0m22.81s |  766300 ko | Specific/X25519/C64/feadd                      |  0m23.43s |  766168 ko || -0m00.62s ||       132 ko |   -2.64% |         +0.01%
  0m11.15s |  687760 ko | Specific/X25519/C64/Synthesis                  |  0m11.23s |  687812 ko || -0m00.08s ||       -52 ko |   -0.71% |         -0.00%
- 0m31.00s |  765208 ko | Specific/NISTP256/AMD64/feopp                  |  0m32.08s |  765212 ko || -0m01.07s ||        -4 ko |   -3.36% |         -0.00%
\ No newline at end of file
+ 0m31.00s |  765208 ko | Specific/NISTP256/AMD64/feopp                  |  0m32.08s |  765212 ko || -0m01.07s ||        -4 ko |   -3.36% |         -0.00%
diff --git a/test-suite/coq-makefile/timing/precomputed-time-tests/005-correct-diff-sorting-order-mem/time-of-build-both-real-diff.log.expected b/test-suite/coq-makefile/timing/precomputed-time-tests/005-correct-diff-sorting-order-mem/time-of-build-both-real-diff.log.expected
index 7842f91f1f..27d3a9c683 100644
--- a/test-suite/coq-makefile/timing/precomputed-time-tests/005-correct-diff-sorting-order-mem/time-of-build-both-real-diff.log.expected
+++ b/test-suite/coq-makefile/timing/precomputed-time-tests/005-correct-diff-sorting-order-mem/time-of-build-both-real-diff.log.expected
@@ -23,4 +23,4 @@
  0m43.34s |  793376 ko | Specific/NISTP256/AMD64/fesub                  |  0m43.78s |  799668 ko || -0m00.43s ||     -6292 ko |   -1.00% |         -0.78%
  0m39.72s |  825448 ko | Specific/X25519/C64/femul                      |  0m42.98s |  839624 ko || -0m03.25s ||    -14176 ko |   -7.58% |         -1.68%
  3m01.77s | 1589516 ko | Specific/solinas32_2e255m765_13limbs/femul     |  3m27.94s | 1656912 ko || -0m26.16s ||    -67396 ko |  -12.58% |         -4.06%
- 2m35.79s | 1454696 ko | Specific/solinas32_2e255m765_12limbs/femul     |  2m59.21s | 1549104 ko || -0m23.42s ||    -94408 ko |  -13.06% |         -6.09%
\ No newline at end of file
+ 2m35.79s | 1454696 ko | Specific/solinas32_2e255m765_12limbs/femul     |  2m59.21s | 1549104 ko || -0m23.42s ||    -94408 ko |  -13.06% |         -6.09%
diff --git a/test-suite/coq-makefile/timing/precomputed-time-tests/005-correct-diff-sorting-order-mem/time-of-build-both-real.log.expected b/test-suite/coq-makefile/timing/precomputed-time-tests/005-correct-diff-sorting-order-mem/time-of-build-both-real.log.expected
index 7e4cfaec1c..4864c1aaf7 100644
--- a/test-suite/coq-makefile/timing/precomputed-time-tests/005-correct-diff-sorting-order-mem/time-of-build-both-real.log.expected
+++ b/test-suite/coq-makefile/timing/precomputed-time-tests/005-correct-diff-sorting-order-mem/time-of-build-both-real.log.expected
@@ -23,4 +23,4 @@
  0m27.81s |  756080 ko | Specific/NISTP256/AMD64/fenz                   |  0m28.91s |  756216 ko || -0m01.10s ||      -136 ko |   -3.80% |         -0.01%
  0m22.81s |  766300 ko | Specific/X25519/C64/feadd                      |  0m23.43s |  766168 ko || -0m00.62s ||       132 ko |   -2.64% |         +0.01%
  0m11.15s |  687760 ko | Specific/X25519/C64/Synthesis                  |  0m11.23s |  687812 ko || -0m00.08s ||       -52 ko |   -0.71% |         -0.00%
- 0m31.00s |  765208 ko | Specific/NISTP256/AMD64/feopp                  |  0m32.08s |  765212 ko || -0m01.07s ||        -4 ko |   -3.36% |         -0.00%
\ No newline at end of file
+ 0m31.00s |  765208 ko | Specific/NISTP256/AMD64/feopp                  |  0m32.08s |  765212 ko || -0m01.07s ||        -4 ko |   -3.36% |         -0.00%
diff --git a/test-suite/coq-makefile/timing/precomputed-time-tests/005-correct-diff-sorting-order-mem/time-of-build-both-user-absolute.log.expected b/test-suite/coq-makefile/timing/precomputed-time-tests/005-correct-diff-sorting-order-mem/time-of-build-both-user-absolute.log.expected
index ea116a804f..48e168657c 100644
--- a/test-suite/coq-makefile/timing/precomputed-time-tests/005-correct-diff-sorting-order-mem/time-of-build-both-user-absolute.log.expected
+++ b/test-suite/coq-makefile/timing/precomputed-time-tests/005-correct-diff-sorting-order-mem/time-of-build-both-user-absolute.log.expected
@@ -23,4 +23,4 @@
  0m01.67s |  646300 ko | Specific/Framework/SynthesisFramework          |  0m01.72s |  648632 ko || -0m00.05s ||     -2332 ko |   -2.90% |         -0.35%
  0m07.18s |  574388 ko | Compilers/Z/Bounds/Pipeline/Definition         |  0m07.22s |  578344 ko || -0m00.04s ||     -3956 ko |   -0.55% |         -0.68%
  0m01.72s |  544172 ko | Compilers/Z/Bounds/Pipeline/ReflectiveTactics  |  0m01.58s |  546112 ko || +0m00.13s ||     -1940 ko |   +8.86% |         -0.35%
- 0m01.19s |  539808 ko | Compilers/Z/Bounds/Pipeline                    |  0m01.04s |  539160 ko || +0m00.14s ||       648 ko |  +14.42% |         +0.12%
\ No newline at end of file
+ 0m01.19s |  539808 ko | Compilers/Z/Bounds/Pipeline                    |  0m01.04s |  539160 ko || +0m00.14s ||       648 ko |  +14.42% |         +0.12%
diff --git a/test-suite/coq-makefile/timing/precomputed-time-tests/005-correct-diff-sorting-order-mem/time-of-build-both-user-auto.log.expected b/test-suite/coq-makefile/timing/precomputed-time-tests/005-correct-diff-sorting-order-mem/time-of-build-both-user-auto.log.expected
index 128f140662..fc26998b8f 100644
--- a/test-suite/coq-makefile/timing/precomputed-time-tests/005-correct-diff-sorting-order-mem/time-of-build-both-user-auto.log.expected
+++ b/test-suite/coq-makefile/timing/precomputed-time-tests/005-correct-diff-sorting-order-mem/time-of-build-both-user-auto.log.expected
@@ -23,4 +23,4 @@
  0m25.50s |  756080 ko | Specific/NISTP256/AMD64/fenz                   |  0m26.41s |  756216 ko || -0m00.91s ||      -136 ko |   -3.44% |         -0.01%
  0m20.93s |  766300 ko | Specific/X25519/C64/feadd                      |  0m21.41s |  766168 ko || -0m00.48s ||       132 ko |   -2.24% |         +0.01%
  0m10.37s |  687760 ko | Specific/X25519/C64/Synthesis                  |  0m10.30s |  687812 ko || +0m00.06s ||       -52 ko |   +0.67% |         -0.00%
- 0m28.51s |  765208 ko | Specific/NISTP256/AMD64/feopp                  |  0m29.46s |  765212 ko || -0m00.94s ||        -4 ko |   -3.22% |         -0.00%
\ No newline at end of file
+ 0m28.51s |  765208 ko | Specific/NISTP256/AMD64/feopp                  |  0m29.46s |  765212 ko || -0m00.94s ||        -4 ko |   -3.22% |         -0.00%
diff --git a/test-suite/coq-makefile/timing/precomputed-time-tests/005-correct-diff-sorting-order-mem/time-of-build-both-user-diff.log.expected b/test-suite/coq-makefile/timing/precomputed-time-tests/005-correct-diff-sorting-order-mem/time-of-build-both-user-diff.log.expected
index 79dc49892f..1fcdb84025 100644
--- a/test-suite/coq-makefile/timing/precomputed-time-tests/005-correct-diff-sorting-order-mem/time-of-build-both-user-diff.log.expected
+++ b/test-suite/coq-makefile/timing/precomputed-time-tests/005-correct-diff-sorting-order-mem/time-of-build-both-user-diff.log.expected
@@ -23,4 +23,4 @@
  0m39.59s |  793376 ko | Specific/NISTP256/AMD64/fesub                  |  0m40.09s |  799668 ko || -0m00.50s ||     -6292 ko |   -1.24% |         -0.78%
  0m36.32s |  825448 ko | Specific/X25519/C64/femul                      |  0m39.50s |  839624 ko || -0m03.17s ||    -14176 ko |   -8.05% |         -1.68%
  2m48.52s | 1589516 ko | Specific/solinas32_2e255m765_13limbs/femul     |  3m12.95s | 1656912 ko || -0m24.42s ||    -67396 ko |  -12.66% |         -4.06%
- 2m23.70s | 1454696 ko | Specific/solinas32_2e255m765_12limbs/femul     |  2m44.11s | 1549104 ko || -0m20.41s ||    -94408 ko |  -12.43% |         -6.09%
\ No newline at end of file
+ 2m23.70s | 1454696 ko | Specific/solinas32_2e255m765_12limbs/femul     |  2m44.11s | 1549104 ko || -0m20.41s ||    -94408 ko |  -12.43% |         -6.09%
diff --git a/test-suite/coq-makefile/timing/precomputed-time-tests/005-correct-diff-sorting-order-mem/time-of-build-both-user.log.expected b/test-suite/coq-makefile/timing/precomputed-time-tests/005-correct-diff-sorting-order-mem/time-of-build-both-user.log.expected
index 128f140662..fc26998b8f 100644
--- a/test-suite/coq-makefile/timing/precomputed-time-tests/005-correct-diff-sorting-order-mem/time-of-build-both-user.log.expected
+++ b/test-suite/coq-makefile/timing/precomputed-time-tests/005-correct-diff-sorting-order-mem/time-of-build-both-user.log.expected
@@ -23,4 +23,4 @@
  0m25.50s |  756080 ko | Specific/NISTP256/AMD64/fenz                   |  0m26.41s |  756216 ko || -0m00.91s ||      -136 ko |   -3.44% |         -0.01%
  0m20.93s |  766300 ko | Specific/X25519/C64/feadd                      |  0m21.41s |  766168 ko || -0m00.48s ||       132 ko |   -2.24% |         +0.01%
  0m10.37s |  687760 ko | Specific/X25519/C64/Synthesis                  |  0m10.30s |  687812 ko || +0m00.06s ||       -52 ko |   +0.67% |         -0.00%
- 0m28.51s |  765208 ko | Specific/NISTP256/AMD64/feopp                  |  0m29.46s |  765212 ko || -0m00.94s ||        -4 ko |   -3.22% |         -0.00%
\ No newline at end of file
+ 0m28.51s |  765208 ko | Specific/NISTP256/AMD64/feopp                  |  0m29.46s |  765212 ko || -0m00.94s ||        -4 ko |   -3.22% |         -0.00%
diff --git a/tools/TimeFileMaker.py b/tools/TimeFileMaker.py
index c4620f5b50..a3078af4a1 100644
--- a/tools/TimeFileMaker.py
+++ b/tools/TimeFileMaker.py
@@ -468,6 +468,7 @@ def make_table_string(stats_dict,
                       for name in names])
 
 def print_or_write_table(table, files):
+    if table[-1] != '\n': table += '\n'
     if len(files) == 0 or '-' in files:
         if hasattr(sys.stdout, 'buffer'):
             sys.stdout.buffer.write(table.encode("utf-8"))