Makefile

changeset 755
255ee4abf2ec
parent 754
4bc7d966c9db
child 766
e59b76889f00
--- 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:

mercurial