comparison: Makefile
Makefile
- changeset 783
- 7ca8cf155489
- parent 779
- e9611e4d0213
- child 791
- 945ee9bf2dd1
equal
deleted
inserted
replaced
| 782:74d777455e96 | 783:7ca8cf155489 |
|---|---|
| 55 | 55 |
| 56 static: FORCE | 56 static: FORCE |
| 57 @cd src && $(MAKE) static | 57 @cd src && $(MAKE) static |
| 58 | 58 |
| 59 check: all | 59 check: all |
| 60 $(RMFILE) $(build_dir)/*.gcda | |
| 61 $(RMFILE) $(build_dir)/tests/*.gcda | |
| 60 $(build_dir)/tests/ucxtest | 62 $(build_dir)/tests/ucxtest |
| 61 | 63 |
| 62 check-coverage: FORCE | 64 check-coverage: FORCE |
| 63 $(MAKE) -s check | 65 $(MAKE) -s check |
| 64 @cd src && $(MAKE) check-coverage | 66 @cd src && $(MAKE) check-coverage |
