From 1077f801309cf4bd08eb0e63cf9a84271bcaf255 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Fri, 24 Nov 2017 13:31:41 +0100
Subject: 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.
---
 test-suite/coq-makefile/plugin-reach-outside-API-and-fail/run.sh        | 2 +-
 .../plugin-reach-outside-API-and-succeed-by-bypassing-the-API/run.sh    | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'test-suite')

diff --git a/test-suite/coq-makefile/plugin-reach-outside-API-and-fail/run.sh b/test-suite/coq-makefile/plugin-reach-outside-API-and-fail/run.sh
index 378573957e..e48f704a2d 100755
--- a/test-suite/coq-makefile/plugin-reach-outside-API-and-fail/run.sh
+++ b/test-suite/coq-makefile/plugin-reach-outside-API-and-fail/run.sh
@@ -10,7 +10,7 @@ cat > _CoqProject <<EOT
 ./src/test.mli
 EOT
 
-mkdir src
+mkdir -p src
 
 cat > src/test_plugin.mllib <<EOT
 Test
diff --git a/test-suite/coq-makefile/plugin-reach-outside-API-and-succeed-by-bypassing-the-API/run.sh b/test-suite/coq-makefile/plugin-reach-outside-API-and-succeed-by-bypassing-the-API/run.sh
index 1b57a356ba..4a8f58655a 100755
--- a/test-suite/coq-makefile/plugin-reach-outside-API-and-succeed-by-bypassing-the-API/run.sh
+++ b/test-suite/coq-makefile/plugin-reach-outside-API-and-succeed-by-bypassing-the-API/run.sh
@@ -11,7 +11,7 @@ cat > _CoqProject <<EOT
 ./src/test.mli
 EOT
 
-mkdir src
+mkdir -p src
 
 cat > src/test_plugin.mllib <<EOT
 Test
-- 
cgit v1.2.3