diff options
Diffstat (limited to 'java/jdk14')
| -rw-r--r-- | java/jdk14/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/java/jdk14/Makefile b/java/jdk14/Makefile index 7366be75027b..08b2090d1abb 100644 --- a/java/jdk14/Makefile +++ b/java/jdk14/Makefile @@ -262,6 +262,7 @@ pre-build-linuxcheck: ${ECHO_MSG} "is known to cause problems during bootstrapping."; \ exit 1; \ fi +.if !defined(WITH_JAIL) @if [ "`/sbin/mount | grep ^linprocfs`" = "" ]; \ then \ ${ECHO_MSG} "ERROR: You have to have LINPROCFS mounted before" ; \ @@ -278,6 +279,7 @@ pre-build-linuxcheck: exit 1 ; \ fi .endif +.endif pre-build: pre-build-linuxcheck .if defined(WITH_OPENMOTIF_JDK) |