diff options
author | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2017-11-24 13:31:41 +0100 |
---|---|---|
committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2017-11-24 13:31:41 +0100 |
commit | 1077f801309cf4bd08eb0e63cf9a84271bcaf255 (patch) | |
tree | 84f1b02e91a4123e7db5457996f34b9275d30c53 /engine/evd.mli | |
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 'engine/evd.mli')
0 files changed, 0 insertions, 0 deletions