comparison: make/makefile.mk
make/makefile.mk
- changeset 1523
- b5c32391802f
- parent 1327
- ed75dc1db503
- child 1529
- a145f47cc0a7
equal
deleted
inserted
replaced
| 1520:03d703c3cfe9 | 1523:b5c32391802f |
|---|---|
| 67 | 67 |
| 68 CXX-AVAILABLE: | 68 CXX-AVAILABLE: |
| 69 test -n "$(WITH_CXX_TEST)" | 69 test -n "$(WITH_CXX_TEST)" |
| 70 | 70 |
| 71 docs: $(build_dir) FORCE | 71 docs: $(build_dir) FORCE |
| 72 @(test "$(WITH_API_DOCS)" = "yes" && cd $(root_dir); $(DOXYGEN) ) \ | 72 @(test "$(WITH_API_DOCS)" = "yes" && cd $(root_dir) && $(DOXYGEN) ) \ |
| 73 || echo "[ Generation of API Docs disabled - skipped ]" | 73 || echo "[ Generation of API Docs disabled - skipped ]" |
| 74 | 74 |
| 75 update-rules: FORCE | 75 update-rules: FORCE |
| 76 make/update-rules.sh src | 76 make/update-rules.sh src |
| 77 make/update-rules.sh tests '$$(TEST_DIR)' '-I../src' | 77 make/update-rules.sh tests '$$(TEST_DIR)' '-I../src' |
