make/linux/Makefile

changeset 9637
eef07cd490d4
parent 9139
da33de9f115e
parent 9631
5af8ec63c21c
     1.1 --- a/make/linux/Makefile	Wed Jul 03 20:04:13 2019 +0800
     1.2 +++ b/make/linux/Makefile	Wed Jul 03 20:42:37 2019 +0800
     1.3 @@ -231,20 +231,7 @@
     1.4  	@echo "  $(TARGETS_SHARK)"
     1.5  	@echo "  $(TARGETS_MINIMAL1)"
     1.6  
     1.7 -checks: check_os_version check_j2se_version
     1.8 -
     1.9 -# We do not want people accidentally building on old systems (e.g. Linux 2.2.x,
    1.10 -# Solaris 2.5.1, 2.6).
    1.11 -# Disable this check by setting DISABLE_HOTSPOT_OS_VERSION_CHECK=ok.
    1.12 -
    1.13 -SUPPORTED_OS_VERSION = 2.4% 2.5% 2.6% 3% 4%
    1.14 -OS_VERSION := $(shell uname -r)
    1.15 -EMPTY_IF_NOT_SUPPORTED = $(filter $(SUPPORTED_OS_VERSION),$(OS_VERSION))
    1.16 -
    1.17 -check_os_version:
    1.18 -ifeq ($(DISABLE_HOTSPOT_OS_VERSION_CHECK)$(EMPTY_IF_NOT_SUPPORTED),)
    1.19 -	$(QUIETLY) >&2 echo "*** This OS is not supported:" `uname -a`; exit 1;
    1.20 -endif
    1.21 +checks: check_j2se_version
    1.22  
    1.23  # jvmti.make requires XSLT (J2SE 1.4.x or newer):
    1.24  XSLT_CHECK	= $(REMOTE) $(RUN.JAVAP) javax.xml.transform.TransformerFactory

mercurial