https://pantsbuild.org/ logo
b

bored-art-40741

03/30/2016, 2:42 PM
The tmpdir stuff is optional and specific to something weird in our environment