Fix verify-generated-files to error on untracked files

This commit is contained in:
Christoph Blecker 2019-08-02 18:35:37 -07:00
parent 5de3cdb1d5
commit 61631bd204
No known key found for this signature in database
GPG Key ID: B34A59A9D39F838B

View File

@ -39,11 +39,11 @@ git clean -ffxd
# regenerate any generated code
make generated_files
diff=$(git diff --name-only)
changed_files=$(git status --porcelain)
if [[ -n "${diff}" ]]; then
if [[ -n "${changed_files}" ]]; then
echo "!!! Generated code is out of date:" >&2
echo "${diff}" >&2
echo "${changed_files}" >&2
echo >&2
echo "Please run make generated_files." >&2
exit 1