Before release check that there are no uncommitted changes and
that there are no files in working directory that possibly should
have been added to the repository.
---
devel/release-checks.sh | 11 +++++++++++
1 file changed, 11 insertions(+)
diff --git a/devel/release-checks.sh b/devel/release-checks.sh
index ae02f557af23..eceea6165b5b 100755
--- a/devel/release-checks.sh
+++ b/devel/release-checks.sh
@@ -59,6 +59,17 @@ readonly VERSION
# In the rest of this file, tests collect list of errors to be fixed
+echo -n "Checking that git working directory is clean... "
+git_status=`git status --porcelain --ignored`
+if [ "$git_status" = '' ]
+then
+ echo Yes.
+else
+ echo No.
+ append_emsg "Git working directory is not clean (git status --porcelain
--ignored)."
+fi
+unset git_status
+
verfail ()
{
echo No.
--
2.0.0
