summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDavid Allsopp <david.allsopp@metastack.com>2017-05-19 21:05:27 +0100
committerDavid Allsopp <david.allsopp@metastack.com>2017-05-21 12:09:31 +0100
commit8ee8f9981d70c5f1e2a8353c12054ce6be8151a6 (patch)
tree1dd66309f02dd7a738c6b82f163752b8b9a08da9
parent154a87c04cf34cc8c4f125806366d3e8bbd658bc (diff)
downloadocaml-8ee8f9981d70c5f1e2a8353c12054ce6be8151a6.tar.gz
Suppress cl output of source file
-rw-r--r--testsuite/tests/lib-unix/Makefile7
1 files changed, 5 insertions, 2 deletions
diff --git a/testsuite/tests/lib-unix/Makefile b/testsuite/tests/lib-unix/Makefile
index d70922d954..e4b4abe685 100644
--- a/testsuite/tests/lib-unix/Makefile
+++ b/testsuite/tests/lib-unix/Makefile
@@ -29,5 +29,8 @@ include $(BASEDIR)/makefiles/Makefile.several
include $(BASEDIR)/makefiles/Makefile.common
%.exe: %.c
- @$(BYTECC) $(if $(filter msvc,$(CCOMPTYPE)),/Fe$*.exe,-o $*.exe) $*.c
-
+ifeq ($(CCOMPTYPE),msvc)
+ @set -o pipefail ; $(BYTECC) /Fe$*.exe $*.c | tail -n +2
+else
+ @$(BYTECC) -o $*.exe $*.c
+endif