Disabled "cover -d" on win32
authorClifford Wolf <clifford@clifford.at>
Sat, 11 Oct 2014 08:49:43 +0000 (10:49 +0200)
committerClifford Wolf <clifford@clifford.at>
Sat, 11 Oct 2014 08:49:43 +0000 (10:49 +0200)
commit51b1824979ab0dc1c1cc904abe85bf39e537e136
treea3b925f760bdb8e5b5e8cfcb7afaeea4d1774eac
parent7df8cbe2a9d48dbccb4a2c665e4087ed4f1514a8
Disabled "cover -d" on win32
passes/cmds/cover.cc