make/Help.gmk
branchJEP-230-microbenchmarks-branch
changeset 56920 e0750e33f818
parent 50490 cbae0e359538
child 56978 8fbb2fb7589f
--- a/make/Help.gmk	Wed Oct 03 12:51:14 2018 +0200
+++ b/make/Help.gmk	Wed Oct 03 15:54:35 2018 +0200
@@ -1,5 +1,5 @@
 #
-# Copyright (c) 2012, 2017, Oracle and/or its affiliates. All rights reserved.
+# Copyright (c) 2012, 2018, Oracle and/or its affiliates. All rights reserved.
 # DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
 #
 # This code is free software; you can redistribute it and/or modify it
@@ -103,6 +103,7 @@
 	$(info $(_)                        # make test TEST="jdk_lang jdk_net")
 	$(info $(_) JTREG="OPT1=x;OPT2=y"  # Control the JTREG test harness for run-test)
 	$(info $(_) GTEST="OPT1=x;OPT2=y"  # Control the GTEST test harness for run-test)
+	$(info $(_) MICRO="OPT1=x;OPT2=y"  # Control the MICRO test harness for run-test)
 	$(info )
 	$(if $(all_confs), $(info Available configurations in $(build_dir):) $(foreach var,$(all_confs),$(info * $(var))),\
 	    $(info No configurations were found in $(build_dir).) $(info Run 'bash configure' to create a configuration.))