diff options
author | 2017-11-24 13:31:41 +0100 | |
---|---|---|
committer | 2017-11-24 13:31:41 +0100 | |
commit | 1077f801309cf4bd08eb0e63cf9a84271bcaf255 (patch) | |
tree | 84f1b02e91a4123e7db5457996f34b9275d30c53 /plugins/setoid_ring/Cring.v | |
parent | 92c15a9b660b874ce3fa125b1f9bdf2e85c40f47 (diff) |
Fixing failing mkdir in test-suite for coq-makefile.
Calling the test a second time after a make clean was failing due to
an existing "src" directory left by the first call.
Diffstat (limited to 'plugins/setoid_ring/Cring.v')
0 files changed, 0 insertions, 0 deletions