diff options
author | Arnout Engelen <arnout@bzzt.net> | 2023-06-13 17:12:01 +0200 |
---|---|---|
committer | Arnout Engelen <arnout@bzzt.net> | 2023-06-13 17:16:23 +0200 |
commit | f6a7658c518cf6d2611a9e34b6a53b38d9ec52e8 (patch) | |
tree | 34a70fdef9f49453ae4a41dfebf55448b5a1ca4b /pkgs/development/compilers/gcc/10/default.nix | |
parent | e8d0aa9d19014bb74a75071e70b7175e9bf58722 (diff) |
gcc: disable parallelism when installing
to avoid missing sections in the info pages due the index being overwritten by parallel `install-info` invocations
Diffstat (limited to 'pkgs/development/compilers/gcc/10/default.nix')
-rw-r--r-- | pkgs/development/compilers/gcc/10/default.nix | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/pkgs/development/compilers/gcc/10/default.nix b/pkgs/development/compilers/gcc/10/default.nix index b8cb350311c80..eef6ebc68331c 100644 --- a/pkgs/development/compilers/gcc/10/default.nix +++ b/pkgs/development/compilers/gcc/10/default.nix @@ -237,6 +237,9 @@ stdenv.mkDerivation ({ (targetPlatform == hostPlatform && hostPlatform == buildPlatform) (if profiledCompiler then "profiledbootstrap" else "bootstrap"); + # https://gcc.gnu.org/PR109898 + enableParallelInstalling = false; + inherit (callFile ../common/strip-attributes.nix { }) stripDebugList stripDebugListTarget |