summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNicolas Ojeda Bar <n.oje.bar@gmail.com>2017-09-26 12:00:40 +0200
committerDavid Allsopp <david.allsopp@metastack.com>2017-09-27 10:49:30 +0100
commit6a6317a9dafd916c9c85b138105f8bb426dc309e (patch)
treeedb0ac3d21dce2c3acc4e27bdbf5edd1afcdff93
parente9ef3c80f797410a60c3f55668b405bdffd28942 (diff)
downloadocaml-6a6317a9dafd916c9c85b138105f8bb426dc309e.tar.gz
Disable win-unicode/exec_tests test
-rw-r--r--.gitignore1
-rw-r--r--testsuite/tests/win-unicode/Makefile2
2 files changed, 2 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index 348178dd66..4220b9cd2a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -352,6 +352,7 @@ _ocamltest
/testsuite/tests/warnings/w58.opt.opt_result
/testsuite/tests/win-unicode/symlink_tests.precheck
+/testsuite/tests/win-unicode/exec_tests.precheck
/testsuite/tools/expect_test
diff --git a/testsuite/tests/win-unicode/Makefile b/testsuite/tests/win-unicode/Makefile
index c2a7cb3221..2810003a60 100644
--- a/testsuite/tests/win-unicode/Makefile
+++ b/testsuite/tests/win-unicode/Makefile
@@ -9,7 +9,7 @@ C_FILES=mkfiles
.PHONY: test
test:
@if echo 'let () = exit (if Config.windows_unicode then 0 else 1)' | $(OCAML) -I $(OTOPDIR)/utils config.cmo -stdin; then \
- $(MAKE) printargv.exe printenv.exe symlink_tests.precheck && \
+ $(MAKE) printargv.exe printenv.exe symlink_tests.precheck exec_tests.precheck && \
$(MAKE) check; \
else \
$(MAKE) SKIP=true C_FILES= run-all; \