Opened 15 years ago
Closed 13 years ago
#22182 closed defect (fixed)
coq +doc may fail to build with parallel building
| Reported by: | kiyoshi.coquser@… | Owned by: | reilles@… |
|---|---|---|---|
| Priority: | Normal | Milestone: | |
| Component: | ports | Version: | 1.8.1 |
| Keywords: | haspatch | Cc: | |
| Port: | coq |
Description
The command "port install coq +doc" occasionally fails to build.
Parallel building seems to affect this issue.
The patch attached this report will fix this issue.
NOTE:
patch-doc-tools-latex_filter.diff is obsolete with this patch.
Attachments (1)
Change History (4)
Changed 15 years ago by kiyoshi.coquser@…
| Attachment: | patch-Portfile.diff added |
|---|
comment:1 Changed 15 years ago by mf2k (Frank Schima)
| Keywords: | haspatch added |
|---|---|
| Owner: | changed from macports-tickets@… to reilles@… |
comment:2 Changed 15 years ago by mf2k (Frank Schima)
| Type: | update → defect |
|---|
comment:3 Changed 13 years ago by jmroot (Joshua Root)
| Resolution: | → fixed |
|---|---|
| Status: | new → closed |
Note: See
TracTickets for help on using
tickets.
r75364