Allow directories to be already created

2018-02-22 02:25:22 +01:00 · 2018-02-22 02:25:22 +01:00 · cd8c77733f
commit cd8c77733f
parent 442e4e4578
1 changed files with 1 additions and 1 deletions
--- a/doc/scripts/coverage.sh
+++ b/doc/scripts/coverage.sh
@ -40,7 +40,7 @@ DATE="date"
 FIND="find"
 GCOV="gcov"
 MAKE="make"
-MKDIR="mkdir"
+MKDIR="mkdir -p"
 MKTEMP="mktemp"
 RM="rm -f"