On Tue, 21 Oct 2025, Jose E. Marchesi wrote: > What about having the script check an environment variable and > command-line option, and error out if it is not defined? Something like > VMTEST_DIR and --vmtest-dir=DIR. >
Sounds good to me! brgds, H-P
