Commit 29eed1c74d65efbad48aa525f551c6f94d04002c

Edward Thomson 2014-10-24T10:50:57

clar: use a custom temp directory name