diff -r 61edd5c7412e make/linux/Makefile --- a/make/linux/Makefile Mon Mar 02 18:12:06 2015 +0000 +++ b/make/linux/Makefile Tue Mar 03 15:58:13 2015 +0100 @@ -233,7 +233,7 @@ # Solaris 2.5.1, 2.6). # Disable this check by setting DISABLE_HOTSPOT_OS_VERSION_CHECK=ok. -SUPPORTED_OS_VERSION = 2.4% 2.5% 2.6% 3% +SUPPORTED_OS_VERSION = 2.4% 2.5% 2.6% 3% 4% OS_VERSION := $(shell uname -r) EMPTY_IF_NOT_SUPPORTED = $(filter $(SUPPORTED_OS_VERSION),$(OS_VERSION))