Skip to content

Commit

Permalink
devel/splint: Fix build when bison exists
Browse files Browse the repository at this point in the history
PR:		269891
  • Loading branch information
Chad Jacob Milios authored and lwhsu committed Mar 13, 2023
1 parent ae9d7e1 commit 283da45
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions devel/splint/Makefile
Expand Up @@ -12,6 +12,7 @@ LICENSE= GPLv2+

USES= gmake
GNU_CONFIGURE= yes
CONFIGURE_ENV= BISON=no
MAKE_JOBS_UNSAFE= yes

post-patch:
Expand Down

0 comments on commit 283da45

Please sign in to comment.