tree b827e10ce7943ef80b8950d8377f8476bc8ff1aa
parent f6e4b0a04086181037cb8f978047cd45417ddfab
author Shawn Pearce <sop@google.com> 1368046556 -0700
committer Shawn Pearce <sop@google.com> 1369236796 -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.