hotspot/make/linux/Makefile
changeset 12156 fb31de03f649
parent 10559 a94d067da388
child 12503 9df71f999005
--- a/hotspot/make/linux/Makefile	Mon Mar 19 20:13:17 2012 +0100
+++ b/hotspot/make/linux/Makefile	Mon Mar 19 10:09:24 2012 +0100
@@ -188,7 +188,7 @@
 # in the build.sh script:
 TARGETS           = debug jvmg fastdebug optimized profiled product
 
-ifeq ($(ZERO_BUILD), true)
+ifeq ($(findstring true, $(JVM_VARIANT_ZERO) $(JVM_VARIANT_ZEROSHARK)), true)
   SUBDIR_DOCS     = $(OSNAME)_$(VARIANTARCH)_docs
 else
   SUBDIR_DOCS     = $(OSNAME)_$(BUILDARCH)_docs