| commit | bc3a0d4576b217d113514f5866da96c83401c3b5 | [log] [tgz] |
|---|---|---|
| author | Jonathan Gallimore <jon@jrg.me.uk> | Mon Aug 07 16:16:03 2023 +0100 |
| committer | Jonathan Gallimore <jon@jrg.me.uk> | Mon Aug 07 16:16:03 2023 +0100 |
| tree | f4a0c4e21dcb541e757ca200bc252bd6660a6a72 | |
| parent | 60878c7b0c969446739c207839afac46843ec8e0 [diff] |
Put back the echo/exec change committed by accident. Don't add quotes to the JAVA_HOME environment variable on Windows.