On Tue, 6 Aug 2024 16:17:07 GMT, Magnus Ihse Bursie <i...@openjdk.org> wrote:
> @jonathan-gibbons Is this a bug in jtreg, or where these files actually > improperly named? Not a bug as such, but maybe a little-known misfeature. `jtreg` has always had problems with filenames that could cause confusion, and the general sense has generally been, "if it hurts, don't do it!". That being said, our overall library API and infrastructure is way better these days than in times past, and it might be reasonable to file an Enhancement for `jtreg` to have a utility/check/test to detect these anomalous situations. In the meantime, renaming the files to avoid the problem is the recommended solution. ------------- PR Comment: https://git.openjdk.org/jdk/pull/20475#issuecomment-2271784061