diff options
Diffstat (limited to 'pkgs/development/compilers/gcc/install-info-files-serially.patch')
-rw-r--r-- | pkgs/development/compilers/gcc/install-info-files-serially.patch | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/pkgs/development/compilers/gcc/install-info-files-serially.patch b/pkgs/development/compilers/gcc/install-info-files-serially.patch new file mode 100644 index 00000000000..bec7c0a158d --- /dev/null +++ b/pkgs/development/compilers/gcc/install-info-files-serially.patch @@ -0,0 +1,15 @@ +diff -Naur gcc-12.2.0/gcc/Makefile.in gcc-12.2.0-new/gcc/Makefile.in +--- gcc-12.2.0/gcc/Makefile.in 2022-08-19 10:09:52.280658631 +0200 ++++ gcc-12.2.0-new/gcc/Makefile.in 2023-05-04 14:35:44.401420184 +0200 +@@ -3781,6 +3781,11 @@ + fi; \ + fi + ++# We don't care about the order in which the info files are built, but ++# install-info doesn't support multiple parallel invocations writing to ++# the same `dir-file`, so we have to disable parallelism for that reason: ++.NOTPARALLEL: install-info ++ + # Install the info files. + # $(INSTALL_DATA) might be a relative pathname, so we can't cd into srcdir + # to do the install. |