Makefile: Show different texts for tests and full tests

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

diff --git a/Makefile b/Makefile
index c977fce716428acb1712c1207d20518ead53e44a..c4340bb53e2b27b4cd26d7bc8da284e264e3d35e 100644 (file)
--- 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-%