diff options
Diffstat (limited to 'testing/julia/0003-no-clean-docs.patch')
| -rw-r--r-- | testing/julia/0003-no-clean-docs.patch | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/testing/julia/0003-no-clean-docs.patch b/testing/julia/0003-no-clean-docs.patch new file mode 100644 index 0000000000..7046ea34a2 --- /dev/null +++ b/testing/julia/0003-no-clean-docs.patch @@ -0,0 +1,18 @@ +--- a/Makefile ++++ b/Makefile +@@ -495,7 +493,6 @@ + + clean: | $(CLEAN_TARGETS) + @$(MAKE) -C base clean +- @$(MAKE) -C doc clean + @$(MAKE) -C src clean + @$(MAKE) -C ui clean + @$(MAKE) -C test clean +@@ -517,7 +514,6 @@ + + distcleanall: cleanall + @$(MAKE) -C deps distcleanall +- @$(MAKE) -C doc cleanall + rm -fr $(build_prefix) $(build_staging) + + .PHONY: default debug release check-whitespace release-candidate \ |