tree 778911cddfca5420b92ad5cab847a91417b8af0d
parent a664feb8c5bcebe16785f54f528a50af4437ca93
author Rupert Swarbrick <rswarbrick@lowrisc.org> 1630078042 +0100
committer Rupert Swarbrick <rswarbrick@gmail.com> 1630401077 +0100

[ci] Fix check-generated script with untracked files

git diff doesn't report untracked files, so isn't really the right
thing to use here. Instead, use "git status" with the --porcelain
flag, which prints something iff the tree has untracked/uncommitted
changes.

Signed-off-by: Rupert Swarbrick <rswarbrick@lowrisc.org>