make/linux/Makefile

*** 335,347 ****
  treezero:  $(SUBDIRS_ZERO)
  treeshark: $(SUBDIRS_SHARK)
  
  # Doc target.  This is the same for all build options.
  #     Hence create a docs directory beside ...$(ARCH)_[...]
  docs: checks
          $(QUIETLY) mkdir -p $(SUBDIR_DOCS)
!         $(MAKE) -f $(GAMMADIR)/make/$(OSNAME)/makefiles/jvmti.make $(MFLAGS) $(BUILDTREE_VARS) JvmtiOutDir=$(SUBDIR_DOCS) jvmtidocs
  
  # Synonyms for win32-like targets.
  compiler2:  jvmg product
  
  compiler1:  jvmg1 product1
--- 335,349 ----
  treezero:  $(SUBDIRS_ZERO)
  treeshark: $(SUBDIRS_SHARK)
  
  # Doc target.  This is the same for all build options.
  #     Hence create a docs directory beside ...$(ARCH)_[...]
+ # We specify 'BUILD_FLAVOR=product' so that the proper
+ # ENABLE_FULL_DEBUG_SYMBOLS value is used.
  docs: checks
          $(QUIETLY) mkdir -p $(SUBDIR_DOCS)
!         $(MAKE) -f $(GAMMADIR)/make/$(OSNAME)/makefiles/jvmti.make $(MFLAGS) $(BUILDTREE_VARS) JvmtiOutDir=$(SUBDIR_DOCS) BUILD_FLAVOR=product jvmtidocs
  
  # Synonyms for win32-like targets.
  compiler2:  jvmg product
  
  compiler1:  jvmg1 product1