chiark / gitweb /
Don't fail if build dir already exists.
authormdw <mdw>
Fri, 16 May 2003 10:01:10 +0000 (10:01 +0000)
committermdw <mdw>
Fri, 16 May 2003 10:01:10 +0000 (10:01 +0000)
commit0e588014f23cca308747a70dfc1387aaaadf5ddd
tree8f8c3f5bf8fe2a67508da520931432ac2fea8410
parentcc1668bbd6ac3c128f286a1371a37bb12db79f33
Don't fail if build dir already exists.
setup