diff options
Diffstat (limited to 'devel/leatherman/Makefile')
| -rw-r--r-- | devel/leatherman/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devel/leatherman/Makefile b/devel/leatherman/Makefile index ff5b8d2222e4..6ddd060dd609 100644 --- a/devel/leatherman/Makefile +++ b/devel/leatherman/Makefile @@ -29,7 +29,7 @@ PLIST_SUB= PORTVERSION=${PORTVERSION} post-configure: # This file is vendored in vendor/Catch-1.10.0.zip and extracted at configure step ${SED} -i '' -e '1s|\(.*\)|#include <sys/signal.h>\n\1|' ${CONFIGURE_WRKSRC}/src/Catch-1.10.0/single_include/catch.hpp -.if ${OPSYS} == FreeBSD && ${OSVERSION} >= 1400079 +.if ${OPSYS} == FreeBSD && ( ${OSVERSION} >= 1400079 || ( ${OSVERSION} >= 1302505 && ${OSVERSION} < 1400000 )) ${REINPLACE_CMD} -e 's|ptrdiff_t|size_t|' ${CONFIGURE_WRKSRC}/src/Catch-1.10.0/single_include/catch.hpp .endif |