From fef5b75e72e1dc2889875616f56332a00dc50534 Mon Sep 17 00:00:00 2001
From: Jason Gross
Date: Mon, 21 Sep 2020 12:38:25 -0400
Subject: Make print-pretty-timed robust against non-output-sync logs

Also pass `--output-sync` on the CI, as suggested in
https://github.com/coq/coq/pull/12653#issuecomment-696226093, to protect
against this failure mode.

Fixes #13062
---
 dev/ci/ci-common.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'dev')

diff --git a/dev/ci/ci-common.sh b/dev/ci/ci-common.sh
index c01bc57f72..f9187d53a6 100644
--- a/dev/ci/ci-common.sh
+++ b/dev/ci/ci-common.sh
@@ -97,9 +97,9 @@ make()
     if [ -z "${MAKEFLAGS+x}" ] && [ -n "${NJOBS}" ];
     then
         # Not submake and parallel make requested
-        command make -j "$NJOBS" "$@"
+        command make --output-sync -j "$NJOBS" "$@"
     else
-        command make "$@"
+        command make --output-sync "$@"
     fi
 }
 
-- 
cgit v1.2.3