make/InitSupport.gmk
changeset 47956 72a474c85aee
parent 47456 9c1e4b0a4761
child 48057 56d3576aadd5
--- a/make/InitSupport.gmk	Tue Nov 28 22:19:34 2017 -0800
+++ b/make/InitSupport.gmk	Wed Nov 29 14:45:41 2017 +0100
@@ -47,7 +47,7 @@
 
   # Make control variables, handled by Init.gmk
   INIT_CONTROL_VARIABLES += LOG CONF CONF_NAME SPEC JOBS TEST_JOBS CONF_CHECK \
-      COMPARE_BUILD JTREG GTEST
+      COMPARE_BUILD JTREG GTEST TEST_OPTS TEST_VM_OPTS
 
   # All known make control variables
   MAKE_CONTROL_VARIABLES := $(INIT_CONTROL_VARIABLES) TEST JDK_FILTER