This port sometimes doesn't build. Adding MAKE_JOBS_UNSAFE fixes it.
While here, pet portlint.
PR: 234485
Submitted by: Piotr Kubaj
Approved by: maintainer
This port sometimes doesn't build. Adding MAKE_JOBS_UNSAFE fixes it. Tags None Referenced Files None Subscribers None
Description
Details
|