diff options
Diffstat (limited to 'java/jdk12/Makefile')
| -rw-r--r-- | java/jdk12/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/java/jdk12/Makefile b/java/jdk12/Makefile index 59df588e403c..4aac03dd1401 100644 --- a/java/jdk12/Makefile +++ b/java/jdk12/Makefile @@ -91,7 +91,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\ |