Opened 15 years ago

Closed 14 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)

patch-Portfile.diff (679 bytes) - added by kiyoshi.coquser@… 15 years ago.

Download all attachments as: .zip

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: updatedefect

comment:3 Changed 14 years ago by jmroot (Joshua Root)

Resolution: fixed
Status: newclosed
Note: See TracTickets for help on using tickets.