diff options
author | Emanuel Haupt <ehaupt@FreeBSD.org> | 2020-12-12 09:58:19 +0000 |
---|---|---|
committer | Emanuel Haupt <ehaupt@FreeBSD.org> | 2020-12-12 09:58:19 +0000 |
commit | 65828d7b4d6a4419b264806f9c583884e95c7eeb (patch) | |
tree | e5995fc91bbd669a9bb38785d0ecab6a062288e6 /shells/bash | |
parent | 2235ab81a93df86dbb3f543f5755fe035e8ca062 (diff) | |
download | freebsd-ports-65828d7b4d6a4419b264806f9c583884e95c7eeb.zip |
In some cases bash fails to build parallel make jobs. Provide a patch.
[1] https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4c2ebbf4b8bc660beb98cc2d845c73375d6e4f50
PR: 251755
Reported by: mikael, freebsd@bengrimm.net, jakob@grimstveit.no
Submitted by: rcarter@pinyon.org
Obtained from: gentoo [1]
Diffstat (limited to 'shells/bash')
-rw-r--r-- | shells/bash/files/patch-Makefile.in | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/shells/bash/files/patch-Makefile.in b/shells/bash/files/patch-Makefile.in index ca7dcf193f02..2eae4f4c910f 100644 --- a/shells/bash/files/patch-Makefile.in +++ b/shells/bash/files/patch-Makefile.in @@ -1,6 +1,15 @@ ---- Makefile.in.orig 2018-05-25 12:47:09 UTC +--- Makefile.in.orig 2020-12-04 14:51:19 UTC +++ Makefile.in -@@ -824,7 +824,9 @@ install: .made installdirs +@@ -584,6 +584,8 @@ $(Program): .build $(OBJECTS) $(BUILTINS_DEP) $(LIBDE + ls -l $(Program) + -$(SIZE) $(Program) + ++$(CSOURCES): $(DEFDIR)/builtext.h ++ + .build: $(SOURCES) config.h Makefile version.h $(VERSPROG) + @echo + @echo " ***********************************************************" +@@ -831,7 +833,9 @@ install: .made installdirs infodir=$(infodir) htmldir=$(htmldir) DESTDIR=$(DESTDIR) $@ ) -( cd $(DEFDIR) ; $(MAKE) $(MFLAGS) DESTDIR=$(DESTDIR) $@ ) -( cd $(PO_DIR) ; $(MAKE) $(MFLAGS) DESTDIR=$(DESTDIR) $@ ) |