lib/Tools/getenv
changeset 47674 cdf95042e09c
parent 31497 5333aa739082
child 61294 2d3d26e9b191
     1.1 --- a/lib/Tools/getenv	Sun Apr 22 16:33:41 2012 +0200
     1.2 +++ b/lib/Tools/getenv	Sun Apr 22 19:04:30 2012 +0200
     1.3 @@ -76,6 +76,7 @@
     1.4  fi
     1.5  
     1.6  if [ -n "$DUMP" ]; then
     1.7 +  export PATH_JVM="$(jvmpath "$PATH")"
     1.8    exec perl -w -e 'for $key (keys %ENV) { print $key, "=", $ENV{$key}, "\x00"; }' > "$DUMP"
     1.9  fi
    1.10