add "sorted" target

2025-06-09 18:45:52 +02:00
parent 58ff844d04
commit 717e32ba6a
1 changed files with 5 additions and 1 deletions
--- a/4
+++ b/4
@@ -43,6 +43,10 @@ util:
 checkstyle:
 	@$(MAKE) -C .github/checks --no-print-directory $@

+# check bsearch tables
+sorted:
+	@$(MAKE) -C .github/checks --no-print-directory $@
+
 # runs regression tests, requires libtest target libraries
 test:
 	@$(MAKE) -C test                 --no-print-directory $@