Makefile

changeset 755
255ee4abf2ec
parent 754
4bc7d966c9db
child 766
e59b76889f00
     1.1 --- a/Makefile	Wed Oct 18 21:07:02 2023 +0200
     1.2 +++ b/Makefile	Thu Nov 23 23:33:09 2023 +0100
     1.3 @@ -57,7 +57,7 @@
     1.4  	@cd src && $(MAKE) static
     1.5  
     1.6  check: test-compile FORCE
     1.7 -	$(build_dir)/tests/ucxtest
     1.8 +	test "$(WITH_TESTS)" = "yes" && $(build_dir)/tests/ucxtest
     1.9  
    1.10  test-compile:
    1.11  	@(test "$(WITH_TESTS)" = "yes" && cd tests && $(MAKE)) \
    1.12 @@ -69,4 +69,7 @@
    1.13  	@(test "$(WITH_DOCS_HTML)" = "yes" && cd docs && $(MAKE) all-html) \
    1.14  		|| echo "[ Generation of HTML Docs disabled - skipped ]"
    1.15  
    1.16 +update-rules:
    1.17 +	make/update-rules.sh src
    1.18 +
    1.19  FORCE:

mercurial