From a82a4943e4a9c46dfc74ada125d356af3b48aacd Mon Sep 17 00:00:00 2001
From: Ryo Onodera <ryoqun@gmail.com>
Date: Wed, 16 Oct 2019 13:31:06 +0900
Subject: [PATCH] Restore workaround with updated comment; sadly still needed.

---
 scripts/coverage.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/coverage.sh b/scripts/coverage.sh
index 1186d647c6e3dc..a542b56b1e64c8 100755
--- a/scripts/coverage.sh
+++ b/scripts/coverage.sh
@@ -20,6 +20,7 @@ fi
 
 coverageFlags=(-Zprofile)                # Enable coverage
 coverageFlags+=("-Clink-dead-code")      # Dead code should appear red in the report
+coverageFlags+=("-Ccodegen-units=1")     # Disable code generation parallelism which is unsupported under -Zprofile (see [rustc issue #51705]).
 coverageFlags+=("-Cinline-threshold=0")  # Disable inlining, which complicates control flow.
 coverageFlags+=("-Coverflow-checks=off") # Disable overflow checks, which create unnecessary branches.