From 4590da32fa37764fac9c8468aa59986294052bf4 Mon Sep 17 00:00:00 2001 From: Tony Kelman Date: Thu, 15 Dec 2016 18:01:43 -0800 Subject: [PATCH] Work around redirection issue on windows buildbots with documentation build, ref https://github.com/JuliaLang/julia/pull/18588#issuecomment-265779669 redirecting to a file should work, but redirecting to a cygwin pipe or driving application like perl or python (in the buildbot case) doesn't --- doc/Makefile | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/doc/Makefile b/doc/Makefile index 9cfb45cadefdf..cd6e3693b4261 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -19,13 +19,19 @@ help: @echo " check to run linkcheck and doctests" clean: - -rm -rf _build/* deps/* + -rm -rf _build/* deps/* docbuild.log cleanall: clean html: @echo "Building HTML documentation." +ifneq ($(OS),WINNT) $(JULIA_EXECUTABLE) make.jl -- deploy +else +# work around issue #11727, windows output redirection breaking on buildbot + $(JULIA_EXECUTABLE) make.jl -- deploy > docbuild.log 2>&1 + @cat docbuild.log +endif @echo "Build finished. The HTML pages are in _build/html." pdf: