diff options
Diffstat (limited to 'java/jdk15')
| -rw-r--r-- | java/jdk15/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/java/jdk15/Makefile b/java/jdk15/Makefile index f32224ec5a7d..034053061605 100644 --- a/java/jdk15/Makefile +++ b/java/jdk15/Makefile @@ -133,7 +133,7 @@ TAR= gtar # Necessary for proper extraction of sources .endif # Check for JDK sources -.if !exists(${DISTDIR}/${SRCFILE}) +.if !exists(${DISTDIR}/${SRCFILE}) && !defined(PACKAGE_BUILDING) ECHO_MSG=/usr/bin/printf IGNORE= :\n\ Because of licensing restrictions, you must fetch the source distribution\n\ @@ -147,7 +147,7 @@ ${DISTDIR}.\n .endif # Check for patchset -.if !exists(${DISTDIR}/${PATCHSETFILE}) +.if !exists(${DISTDIR}/${PATCHSETFILE}) && !defined(PACKAGE_BUILDING) ECHO_MSG=/usr/bin/printf IGNORE= :\n\ The source distribution exists on your system, but due to\n\ |