diff options
Diffstat (limited to 'devel/splint/Makefile')
-rw-r--r-- | devel/splint/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/devel/splint/Makefile b/devel/splint/Makefile index 7c408674df67..1e7b8bae1020 100644 --- a/devel/splint/Makefile +++ b/devel/splint/Makefile @@ -18,7 +18,8 @@ COMMENT= A tool for statically checking sourcecode for security vulnerabilities USE_REINPLACE= yes USE_GMAKE= yes GNU_CONFIGURE= yes -CONFIGURE_TARGET= --build=${MACHINE_ARCH}-portbld-freebsd${OSREL} +CONFIGURE_TARGET= --build=${ARCH}-portbld-freebsd${OSREL} +USE_GMAKE= yes MAN1= splint.1 |