diff -r 4bc7d966c9db -r 255ee4abf2ec Makefile --- a/Makefile Wed Oct 18 21:07:02 2023 +0200 +++ b/Makefile Thu Nov 23 23:33:09 2023 +0100 @@ -57,7 +57,7 @@ @cd src && $(MAKE) static check: test-compile FORCE - $(build_dir)/tests/ucxtest + test "$(WITH_TESTS)" = "yes" && $(build_dir)/tests/ucxtest test-compile: @(test "$(WITH_TESTS)" = "yes" && cd tests && $(MAKE)) \ @@ -69,4 +69,7 @@ @(test "$(WITH_DOCS_HTML)" = "yes" && cd docs && $(MAKE) all-html) \ || echo "[ Generation of HTML Docs disabled - skipped ]" +update-rules: + make/update-rules.sh src + FORCE: