comparison: Makefile
Makefile
- changeset 774
- 4fd4e0c6107a
- parent 769
- b53e0e003d7e
- child 779
- e9611e4d0213
equal
deleted
inserted
replaced
| 773:bbf2f18b3818 | 774:4fd4e0c6107a |
|---|---|
| 57 @cd src && $(MAKE) static | 57 @cd src && $(MAKE) static |
| 58 | 58 |
| 59 check: compile test-compile FORCE | 59 check: compile test-compile FORCE |
| 60 $(build_dir)/tests/ucxtest | 60 $(build_dir)/tests/ucxtest |
| 61 | 61 |
| 62 check-coverage: FORCE | |
| 63 $(MAKE) -s check | |
| 64 @cd src && $(MAKE) check-coverage | |
| 65 | |
| 62 test-compile: | 66 test-compile: |
| 63 cd tests && $(MAKE) | 67 cd tests && $(MAKE) |
| 64 | 68 |
| 65 docs: FORCE | 69 docs: FORCE |
| 66 @(test "$(WITH_DOCS_API)" = "yes" && cd docs && $(MAKE) all-api) \ | 70 @(test "$(WITH_DOCS_API)" = "yes" && cd docs && $(MAKE) all-api) \ |
