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