chiark / gitweb /
Makefile: clean: Do not run cargo clean by default
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 14 Sep 2022 09:56:13 +0000 (10:56 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 14 Sep 2022 09:56:13 +0000 (10:56 +0100)
cargo clean isn't really the same thing.  Building Rust is's so slow
we have to reuse cargo's cached builds.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Makefile

index 5f6c955fa8e1f19b60819a49a078772b98bc5cd7..77a98e3db53b4d5b24e5ccb02ca2efc5ee24d4b5 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -55,6 +55,8 @@ docs/html/index.html: docs/conf.py $(wildcard docs/*.md docs/*.rst docs/*.png)
 
 clean:
        rm -rf stamp/* doc/html
+
+very-clean: clean
        $(NAILING_CARGO) clean
 
 .PHONY: cargo-build all doc clean