diff options
Diffstat (limited to 'devel/splint/Makefile')
| -rw-r--r-- | devel/splint/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/devel/splint/Makefile b/devel/splint/Makefile index 542dc26f77f1..4d09ce7b23be 100644 --- a/devel/splint/Makefile +++ b/devel/splint/Makefile @@ -14,6 +14,8 @@ EXTRACT_SUFX= .src.tgz MAINTAINER= ports@FreeBSD.org +PORTCOMMENT= A tool for statically checking sourcecode for security vulnerabilities + GNU_CONFIGURE= yes CONFIGURE_TARGET= --build=${ARCH}-portbld-freebsd${OSREL} USE_GMAKE= yes |