diff options
author | Jakub Jirutka <jakub@jirutka.cz> | 2016-06-06 15:27:58 +0200 |
---|---|---|
committer | Jakub Jirutka <jakub@jirutka.cz> | 2016-06-09 19:26:06 +0200 |
commit | 306b71cdc16ae6765d310b354deb6c716728c815 (patch) | |
tree | c9c724b5a55abba0ff059eeb66e91df97a00f757 /testing/julia/0003-no-clean-docs.patch | |
parent | ba48a053791c950c7d8aedc52bd8da4269073c6f (diff) |
testing/julia: new abuild
http://julialang.org/
A high-level, high-performance dynamic language for technical computing.
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 00000000000..7046ea34a2b --- /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 \ |