commit 97252a67104cdc4854d466f4487be341246cdb05
parent 95b47532bc1698cdd0da2b1440bc683d5510dedf
Author: Vincent Forest <vincent.forest@meso-star.com>
Date: Tue, 22 Feb 2022 11:27:57 +0100
stardis: small upd of the check Makefile target
Diffstat:
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/stardis/Makefile b/stardis/Makefile
@@ -181,8 +181,8 @@ $(STARTER_PACK_README):
################################################################################
# Check files
################################################################################
-check: build .chk .sig .man
- @$(MAKE) -fMakefile -f .chk -f .sig -f .man check_all
+check: build .chk
+ @$(MAKE) -fMakefile -f .chk check_all
check_all: check_shells $(HTML:=.chk)