tree 37235704ceb77cd24e41162556a89cd48975b14a
parent 72f1ebcb60b0c04acf4772adecdba8a86286c422
author Shawn Pearce <sop@google.com> 1368046556 -0700
committer Shawn Pearce <sop@google.com> 1369872598 -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.