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:30:32 +0000 |
| commit | 4c117abfc2eb4e1e0dae013a9c0f4d5ed6cdc1d4 (patch) | |
| tree | 4f7a656032e4b20559b1f7fe2918a2e632ef568c | |
| parent | 3fd626858d826cbdbcc365a60ce34cc88287ac5b (diff) | |
| download | ports-4c117abfc2eb4e1e0dae013a9c0f4d5ed6cdc1d4.tar.gz ports-4c117abfc2eb4e1e0dae013a9c0f4d5ed6cdc1d4.zip | |
devel/splint: Fix build when bison exists
PR: 269891
(cherry picked from commit 283da459379c602a10e65bdc9c7de8d10a717520)
| -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: |