From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Wed, 14 Apr 2021 16:13:00 +0000 (+0100)
Subject: Makefile: Show different texts for tests and full tests
X-Git-Tag: otter-0.5.0~60
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=1880dd2c3f723ad8467899633d40a026c638a252;p=otter.git

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 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-%