tree e9c4ce75c24be55a278cd943dda5cec3a7060010
parent d5a2341c53f2685873b0ba7d3eaf3505d0c9a058
author Shawn Pearce <sop@google.com> 1368046556 -0700
committer Shawn Pearce <sop@google.com> 1374192816 -0700

Supply temporary directory to genrule() invoked java_binary()

JVMs on UNIX systems typically hardcode to use /tmp as the default
temporary area, unless system property java.io.tmpdir is set on
the command line. Pass the genrule's TMP location to the binary
as a system property so it can be used automatically.