tree bf3727bc49609b0a0c9f1cd9bc9e6f6e2ae701e8
parent 1bc5669b56911be8215ada3a384d2dbf0d508a65
author Shawn Pearce <sop@google.com> 1368046556 -0700
committer Shawn Pearce <sop@google.com> 1368047523 -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.