diff options
Diffstat (limited to 'community/julia/0003-no-clean-docs.patch')
-rw-r--r-- | community/julia/0003-no-clean-docs.patch | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/community/julia/0003-no-clean-docs.patch b/community/julia/0003-no-clean-docs.patch index 0be74175cc..89bb0f8fae 100644 --- a/community/julia/0003-no-clean-docs.patch +++ b/community/julia/0003-no-clean-docs.patch @@ -1,6 +1,6 @@ --- a/Makefile +++ b/Makefile -@@ -526,7 +526,6 @@ +@@ -540,7 +540,6 @@ clean: | $(CLEAN_TARGETS) @-$(MAKE) -C $(BUILDROOT)/base clean @@ -8,11 +8,11 @@ @-$(MAKE) -C $(BUILDROOT)/src clean @-$(MAKE) -C $(BUILDROOT)/ui clean @-$(MAKE) -C $(BUILDROOT)/test clean -@@ -548,7 +547,6 @@ +@@ -564,7 +563,6 @@ distcleanall: cleanall @-$(MAKE) -C $(BUILDROOT)/deps distcleanall - @-$(MAKE) -C $(BUILDROOT)/doc cleanall + -rm -fr $(build_prefix) $(build_staging) .PHONY: default debug release check-whitespace release-candidate \ - julia-debug julia-release julia-deps \ |