diff options
| -rwxr-xr-x | util/release/genrelnotes | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/util/release/genrelnotes b/util/release/genrelnotes index ee4bd25e43..6d5aa522d4 100755 --- a/util/release/genrelnotes +++ b/util/release/genrelnotes @@ -39,8 +39,7 @@ then fi # Try to verify that the repo is clean before losing state. -if ! git diff-index --quiet --cached HEAD 2>/dev/null || \ - [ "$(git diff origin/master --shortstat 2>/dev/null | tail -n1)" != "" ]; then +if ! git diff-index --quiet --cached HEAD 2>/dev/null; then echo "ERROR: repo is not clean. Exiting." exit 1 fi |