comparison: Makefile
Makefile
- changeset 988
- 15b3ca7ee33f
- parent 791
- 945ee9bf2dd1
equal
deleted
inserted
replaced
| 987:53e22f112b11 | 988:15b3ca7ee33f |
|---|---|
| 42 $(MAKE) -f make/makefile.mk test-compile | 42 $(MAKE) -f make/makefile.mk test-compile |
| 43 | 43 |
| 44 check: config.mk FORCE | 44 check: config.mk FORCE |
| 45 $(MAKE) -f make/makefile.mk check | 45 $(MAKE) -f make/makefile.mk check |
| 46 | 46 |
| 47 check-cxx: config.mk FORCE | |
| 48 $(MAKE) -f make/makefile.mk check-cxx | |
| 49 | |
| 47 check-coverage: FORCE | 50 check-coverage: FORCE |
| 48 $(MAKE) -s check | 51 $(MAKE) -s check |
| 49 @cd src && $(MAKE) check-coverage | 52 @cd src && $(MAKE) check-coverage |
| 50 | 53 |
| 51 docs: config.mk FORCE | 54 docs: config.mk FORCE |
