From cb757dfaf9a4c200a572a8a55afa55c4058bdeb5 Mon Sep 17 00:00:00 2001 From: Stefan Date: Mon, 21 Apr 2025 22:22:40 +0200 Subject: [PATCH] Changed make target https://www.gnu.org/software/make/manual/html_node/Standard-Targets.html --- make/makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/make/makefile b/make/makefile index e3c66ce..b1384be 100644 --- a/make/makefile +++ b/make/makefile @@ -85,7 +85,7 @@ samples: compiler @$(MAKE) -C $(project_dir)/samples all -tests: compiler +check: compiler @$(MAKE) -C $(project_dir)/autotest all install: compiler