summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xutil/release/genrelnotes3
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