diff options
| author | Maxime Dénès | 2017-11-28 09:59:09 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2017-11-28 09:59:09 +0100 |
| commit | ddfca160f14eba979bcaa238da4c91e4e445f37b (patch) | |
| tree | 1eea1d9f481b47ddda8f7bf88966f7fb7bb5f4fe /test-suite/coq-makefile | |
| parent | 5a540c372648493575461a298e04b9fa716661ad (diff) | |
| parent | 1077f801309cf4bd08eb0e63cf9a84271bcaf255 (diff) | |
Merge PR #6235: Fixing failing mkdir in test-suite for coq-makefile.
Diffstat (limited to 'test-suite/coq-makefile')
| -rwxr-xr-x | test-suite/coq-makefile/plugin-reach-outside-API-and-fail/run.sh | 2 | ||||
| -rwxr-xr-x | test-suite/coq-makefile/plugin-reach-outside-API-and-succeed-by-bypassing-the-API/run.sh | 2 |
2 files changed, 2 insertions, 2 deletions
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 |