From 1880dd2c3f723ad8467899633d40a026c638a252 Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Wed, 14 Apr 2021 17:13:00 +0100 Subject: [PATCH] Makefile: Show different texts for tests and full tests Signed-off-by: Ian Jackson --- Makefile | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index c977fce7..c4340bb5 100644 --- a/Makefile +++ b/Makefile @@ -135,11 +135,14 @@ WASM := wasm32-unknown-unknown #---------- toplevel aggregate targets ---------- check: stamp/cargo.debug-check at wdt - @echo 'All tests passed.' + @echo 'Tests passed.' full-check: stamp/cargo.release-check full-check: stamp/cargo.release-miri stamp/cargo.debug-miri +full-check: + @echo 'Full tests passed.' + doc: cargo-doc sphinx-doc debug release:: %: stamp/cargo.% assets libraries extra-% -- 2.30.2