diff options
Diffstat (limited to 'validate.patch')
-rw-r--r-- | validate.patch | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/validate.patch b/validate.patch new file mode 100644 index 000000000000..844448f4bd2e --- /dev/null +++ b/validate.patch @@ -0,0 +1,13 @@ +diff --git a/scripts/validate b/scripts/validate +index 2811bb8..7329e8f 100755 +--- a/scripts/validate ++++ b/scripts/validate +@@ -17,8 +17,3 @@ go mod verify + echo Generating files + go generate + +-if [ -n "$(git status --porcelain --untracked-files=no)" ]; then +- echo "Encountered dirty repo!" +- git status --porcelain --untracked-files=no +- exit 1 +-fi |