hg: jdk/submit: 8220639: Need a way to augment JTREG_LAUNCHER_OPTIONS from command-line

[magnus.ihse.bursie at oracle.com]

Changeset: ecb533f7f66d
Author:    ihse
Date:      2020-06-25 18:35 +0200
URL:       https://hg.openjdk.java.net/jdk/submit/rev/ecb533f7f66d

8220639: Need a way to augment JTREG_LAUNCHER_OPTIONS from command-line
Reviewed-by: erikj, dholmes

! doc/testing.html
! doc/testing.md
! make/Global.gmk
! make/RunTests.gmk
! make/common/Utils.gmk