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