Merge pull request #368 from mithro/master

Add checkdb target to top level Makefile.
This commit is contained in:
Tim Ansell 2018-12-19 17:31:50 -08:00 committed by GitHub
commit badeb0e41a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 8 additions and 0 deletions

View File

@ -27,6 +27,14 @@ format:
$(IN_ENV) find . -name \*.py $(FIND_EXCLUDE) -print0 | xargs -0 -P $$(nproc) yapf -p -i
find . -name \*.tcl $(FIND_EXCLUDE) -print0 | xargs -0 -P $$(nproc) -n 1 $(TCL_FORMAT)
checkdb:
@for DB in database/*; do if [ -d $$DB ]; then \
echo ; \
echo "Checking $$DB"; \
echo "============================"; \
$(IN_ENV) python utils/checkdb.py --db-root $$DB; \
fi; done
clean:
$(MAKE) -C database clean
$(MAKE) -C fuzzers clean