diff options
| author | Chad Jacob Milios <milios@ccsys.com> | 2023-03-13 14:08:32 +0000 |
|---|---|---|
| committer | Li-Wen Hsu <lwhsu@FreeBSD.org> | 2023-03-13 14:11:00 +0000 |
| commit | 283da459379c602a10e65bdc9c7de8d10a717520 (patch) | |
| tree | 8384b7b5e9674cf257e988ff9a23dc4542e1e520 | |
| parent | ae9d7e1677ef559e26a46a935ad2dc087a8b2d83 (diff) | |
| download | ports-283da459379c602a10e65bdc9c7de8d10a717520.tar.gz ports-283da459379c602a10e65bdc9c7de8d10a717520.zip | |
devel/splint: Fix build when bison exists
PR: 269891
| -rw-r--r-- | devel/splint/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/devel/splint/Makefile b/devel/splint/Makefile index 0b477b963fef..49df11d5a206 100644 --- a/devel/splint/Makefile +++ b/devel/splint/Makefile @@ -12,6 +12,7 @@ LICENSE= GPLv2+ USES= gmake GNU_CONFIGURE= yes +CONFIGURE_ENV= BISON=no MAKE_JOBS_UNSAFE= yes post-patch: |