tree f4cc32a7fd2de0bcb9266fb5ada2160b1a691810
parent eeaf42006e444040751f28d6c28b7e3b78a63dcf
author Shawn Pearce <sop@google.com> 1368046556 -0700
committer Shawn Pearce <sop@google.com> 1374729193 -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.