chiark / gitweb /
tmpdir: undo rename in build - we actually want TMPDIR there
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 14 Jun 2012 19:39:28 +0000 (20:39 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 14 Jun 2012 19:39:28 +0000 (20:39 +0100)
commit5289b141897fd1d41604e75a040b3e0a23374d0e
treee5f65f53e436c3c604efa18ed7b03f875c3f29d4
parent445e7696b8d68101827848443eb87dc4b6d96651
tmpdir: undo rename in build - we actually want TMPDIR there
runner/adt-run