diff options
Diffstat (limited to 'make/run_make.mk')
| -rw-r--r-- | make/run_make.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/make/run_make.mk b/make/run_make.mk index e3e647a499..2c001b7cf9 100644 --- a/make/run_make.mk +++ b/make/run_make.mk @@ -38,5 +38,5 @@ emu jit: $(make_verbose)$(MAKE) -f $(TARGET)/Makefile FLAVOR=$@ clean generate depend docs release release_spec release_docs release_docs_spec \ - tests release_tests release_tests_spec static_lib xmllint clang_format compdb: + tests release_tests release_tests_spec static_lib xmllint format format-check compdb: $(make_verbose)$(MAKE) -f $(TARGET)/Makefile $@ |