chiark / gitweb /
tmpdir: rename "tmp" in run() to "testtmp"
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 14 Jun 2012 19:35:17 +0000 (20:35 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 14 Jun 2012 19:35:17 +0000 (20:35 +0100)
commit445e7696b8d68101827848443eb87dc4b6d96651
tree085a2bcf42cf19c5b05098e6e17eea2fdaf6bfa5
parent118017e14846a37cb23192faa73cd1136d9bb1d7
tmpdir: rename "tmp" in run() to "testtmp"
runner/adt-run