diff make/linux/Makefile @ 5946:3d7ea1dbe0de

7141246: build-infra merge: Introduce new JVM_VARIANT* to control which kind of jvm gets built Reviewed-by: dholmes, ohair
author erikj
date Mon, 19 Mar 2012 10:09:24 +0100
parents da0999c4b733
children 74c359c4a9e5
line wrap: on
line diff
--- a/make/linux/Makefile	Mon Mar 19 20:13:17 2012 +0100
+++ b/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