Re: RFR: 8287828: Fix so that one can select jtreg test case by ID from make [v6]

2022-07-28 Thread Magnus Ihse Bursie
On Mon, 27 Jun 2022 14:27:36 GMT, Leo Korinth wrote: >> One can select a testcase by ID when running a jtreg test case directly from >> jtreg (using the testcase.java#testID syntax). However, this has not been >> possible to do when launching jtreg indirectly from make. >> >> This fix attempts

Re: RFR: 8287828: Fix so that one can select jtreg test case by ID from make [v6]

2022-06-28 Thread Magnus Ihse Bursie
On Mon, 27 Jun 2022 14:27:36 GMT, Leo Korinth wrote: >> One can select a testcase by ID when running a jtreg test case directly from >> jtreg (using the testcase.java#testID syntax). However, this has not been >> possible to do when launching jtreg indirectly from make. >> >> This fix attempts

Re: RFR: 8287828: Fix so that one can select jtreg test case by ID from make [v6]

2022-06-28 Thread Leo Korinth
On Mon, 27 Jun 2022 14:27:36 GMT, Leo Korinth wrote: >> One can select a testcase by ID when running a jtreg test case directly from >> jtreg (using the testcase.java#testID syntax). However, this has not been >> possible to do when launching jtreg indirectly from make. >> >> This fix attempts

Re: RFR: 8287828: Fix so that one can select jtreg test case by ID from make [v6]

2022-06-27 Thread Leo Korinth
> One can select a testcase by ID when running a jtreg test case directly from > jtreg (using the testcase.java#testID syntax). However, this has not been > possible to do when launching jtreg indirectly from make. > > This fix attempts to address this issue. I have not tested this thoroughly >