changeset 61294 | 2d3d26e9b191 |
parent 47674 | cdf95042e09c |
child 62828 | 3fee575c9dce |
--- a/lib/Tools/getenv Wed Sep 30 21:05:14 2015 +0200 +++ b/lib/Tools/getenv Wed Sep 30 21:32:44 2015 +0200 @@ -76,7 +76,7 @@ fi if [ -n "$DUMP" ]; then - export PATH_JVM="$(jvmpath "$PATH")" + export PATH_JVM="$(platform_path "$PATH")" exec perl -w -e 'for $key (keys %ENV) { print $key, "=", $ENV{$key}, "\x00"; }' > "$DUMP" fi