diff options
| author | Piotr Kubaj <pkubaj@FreeBSD.org> | 2019-04-17 20:38:22 +0000 |
|---|---|---|
| committer | Piotr Kubaj <pkubaj@FreeBSD.org> | 2019-04-17 20:38:22 +0000 |
| commit | 62fb54a31b1720e77494e7cea623ce10bdaccbf5 (patch) | |
| tree | 9218309407972ba3e404900e54adf180bb7e3912 /java/jdom | |
| parent | Remove expired ports: (diff) | |
games/filter: add MAKE_JOBS_UNSAFE=yes to fix race condition on threaded build.
PR: 237311
Reviewed by: tcberner (mentor)
Approved by: ehaupt (maintainer)
Differential Revision: https://reviews.freebsd.org/D19943
Notes
Notes:
svn path=/head/; revision=499208
Diffstat (limited to 'java/jdom')
0 files changed, 0 insertions, 0 deletions