git: 283da459379c - main - devel/splint: Fix build when bison exists
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Mon, 13 Mar 2023 14:11:06 UTC
The branch main has been updated by lwhsu:
URL: https://cgit.FreeBSD.org/ports/commit/?id=283da459379c602a10e65bdc9c7de8d10a717520
commit 283da459379c602a10e65bdc9c7de8d10a717520
Author: Chad Jacob Milios <milios@ccsys.com>
AuthorDate: 2023-03-13 14:08:32 +0000
Commit: Li-Wen Hsu <lwhsu@FreeBSD.org>
CommitDate: 2023-03-13 14:11:00 +0000
devel/splint: Fix build when bison exists
PR: 269891
---
devel/splint/Makefile | 1 +
1 file changed, 1 insertion(+)
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: