Merge pull request #740 from mithro/kokoro-run-info

Update info file on CI
This commit is contained in:
Tim Ansell 2019-03-25 17:34:47 -07:00 committed by GitHub
commit c7d7e9d7ad
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 17 additions and 12 deletions

View File

@ -77,7 +77,9 @@ echo "----------------------------------------"
# Check the database
#make checkdb-${XRAY_SETTINGS} || true
# Format the database
make formatdb-${XRAY_SETTINGS}
make db-format-${XRAY_SETTINGS}
# Update the database/Info.md file
make db-info
# Output if the database has differences
echo
@ -139,7 +141,7 @@ echo "----------------------------------------"
echo "----------------------------------------"
# Check the database and fail if it is broken.
make checkdb-${XRAY_SETTINGS}
make db-check-${XRAY_SETTINGS}
# If we get here, then all the fuzzers completed fine. Hence we are
# going to assume we don't want to keep all the build / logs / etc (as

View File

@ -79,36 +79,39 @@ define database
# $(1) - Database name
checkdb-$(1):
db-check-$(1):
@echo
@echo "Checking $(1) database"
@echo "============================"
@$(IN_ENV) python3 utils/checkdb.py --db-root database/$(1)
@$(IN_ENV) python3 utils/db-check.py --db-root database/$(1)
formatdb-$(1):
db-format-$(1):
@echo
@echo "Formatting $(1) database"
@echo "============================"
@$(IN_ENV) cd database/$(1); python3 ../../utils/sort_db.py
@if [ -e database/Info.md ]; then $(IN_ENV) ./utils/info_md.py --keep; fi
.PHONY: checkdb-$(1) formatdb-$(1)
.NOTPARALLEL: checkdb-$(1) formatdb-$(1)
.PHONY: db-check-$(1) db-format-$(1)
.NOTPARALLEL: db-check-$(1) db-format-$(1)
checkdb: checkdb-$(1)
formatdb: formatdb-$(1)
db-check: db-check-$(1)
db-format: db-format-$(1)
endef
$(foreach DB,$(DATABASES),$(eval $(call database,$(DB))))
checkdb:
db-check:
@true
formatdb:
db-format:
@true
.PHONY: checkdb formatdb
db-info:
$(IN_ENV) ./utils/info_md.py
.PHONY: db-check db-format
clean:
$(MAKE) -C database clean