set TMPDIR
authorbrian <brian@brianweb.net>
Thu, 15 Dec 2005 02:08:37 +0000 (18:08 -0800)
committerbrian <brian@brianweb.net>
Thu, 15 Dec 2005 02:08:37 +0000 (18:08 -0800)
darcs-hash:20051215020837-24bed-1920ef712c06f0421c5ee8ab26d7e60f72308e5f.gz

src/org/ibex/nestedvm/UnixRuntime.java

index bd63674..f5b1455 100644 (file)
@@ -92,13 +92,15 @@ public abstract class UnixRuntime extends Runtime implements Cloneable {
     }
     
     String[] createEnv(String[] extra) {
-        String[] defaults = new String[6];
+        String[] defaults = new String[7];
         int n=0;
         if(extra == null) extra = new String[0];
         if(!envHas("USER",extra) && Platform.getProperty("user.name") != null)
             defaults[n++] = "USER=" + Platform.getProperty("user.name");
         if(!envHas("HOME",extra) && Platform.getProperty("user.home") != null)
             defaults[n++] = "HOME=" + Platform.getProperty("user.home");
+        if(!envHas("TMPDIR",extra) && Platform.getProperty("java.io.tmpdir") != null)
+            defaults[n++] = "TMPDIR=" + Platform.getProperty("java.io.tmpdir");
         if(!envHas("SHELL",extra)) defaults[n++] = "SHELL=/bin/sh";
         if(!envHas("TERM",extra) && !win32Hacks)  defaults[n++] = "TERM=vt100";
         if(!envHas("TZ",extra))    defaults[n++] = "TZ=" + posixTZ();