From 0f291aee86022ed220b421ef2169f099cf4f24a8 Mon Sep 17 00:00:00 2001 From: mrdudz Date: Tue, 17 May 2022 14:39:35 +0200 Subject: [PATCH] rename the actual checkstyle target too :) --- .github/checks/Makefile | 2 +- Makefile | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/checks/Makefile b/.github/checks/Makefile index dc42d14ca..52d6611aa 100644 --- a/.github/checks/Makefile +++ b/.github/checks/Makefile @@ -1,7 +1,7 @@ .PHONY: check tabs lastline spaces -check: tabs lastline spaces +checkstyle: tabs lastline spaces tabs: tabs.sh @./tabs.sh diff --git a/Makefile b/Makefile index e8b73e86b..909de81ec 100644 --- a/Makefile +++ b/Makefile @@ -49,7 +49,7 @@ test: # GNU "check" target, which runs all tests check: - @$(MAKE) -C .github/checks --no-print-directory $@ + @$(MAKE) -C .github/checks checkstyle --no-print-directory @$(MAKE) test - @$(MAKE) -C targettest platforms --no-print-directory - @$(MAKE) -C samples platforms --no-print-directory + @$(MAKE) -C targettest platforms --no-print-directory + @$(MAKE) -C samples platforms --no-print-directory