diff options
Diffstat (limited to 'java/jsdk')
| -rw-r--r-- | java/jsdk/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/java/jsdk/Makefile b/java/jsdk/Makefile index 14373ec91371..c54f4b058c60 100644 --- a/java/jsdk/Makefile +++ b/java/jsdk/Makefile @@ -21,6 +21,10 @@ RESTRICTED= "no commercial use" WRKSRC= ${WRKDIR}/JSDK2.0 +.if defined(BATCH) || defined(PACKAGE_BUILDING) +IGNORE= "Should be fetched manually" +.endif + do-fetch: @if [ ! -f ${DISTDIR}/${DISTNAME}${EXTRACT_SUFX} ]; then \ ${ECHO} "=========================================================="; \ |