#262 closed defect (fixed)
make jobserver unavailable
| Reported by: | Martin Walch | Owned by: | David Aspinall |
|---|---|---|---|
| Priority: | minor | Milestone: | PG-Emacs-4.0 |
| Component: | 2:pg-emacs | Keywords: | |
| Cc: |
Description
When trying to run make with multiple jobs, this does not work and leads to a warning:
warning: jobserver unavailable: using -j1. Add `+' to parent make rule.
This showed up as a QA Notice for ProofGeneral 3.7.1 on Gentoo Linux. A patch has been created by a Gentoo maintainer:
http://bugs.gentoo.org/show_bug.cgi?id=259125
I can reproduce it also with ProofGeneral 4.0pre081205.
Change History (3)
comment:1 Changed 15 years ago by
| Resolution: | → fixed |
|---|---|
| Status: | new → closed |
comment:2 Changed 15 years ago by
Note: See
TracTickets for help on using
tickets.
Fixed. Many thanks for reporting.