diff --git a/.github/kokoro/db-full.sh b/.github/kokoro/db-full.sh index 152e8f2f..428d0a2d 100755 --- a/.github/kokoro/db-full.sh +++ b/.github/kokoro/db-full.sh @@ -78,6 +78,8 @@ echo "----------------------------------------" #make checkdb-${XRAY_SETTINGS} || true # Format the database make db-format-${XRAY_SETTINGS} +# Update the database/Info.md file +make db-info # Output if the database has differences echo diff --git a/Makefile b/Makefile index 4c4a269a..1b004832 100644 --- a/Makefile +++ b/Makefile @@ -108,6 +108,9 @@ db-check: db-format: @true +db-info: + $(IN_ENV) ./utils/info_md.py + .PHONY: db-check db-format clean: