diff options
| author | Tomi Ollila <tomi.ollila@iki.fi> | 2015-06-02 17:43:45 +0300 |
|---|---|---|
| committer | David Bremner <david@tethera.net> | 2015-06-09 19:33:22 +0200 |
| commit | a5a21bbe78725db70153b6bf59c1856de2dcae4d (patch) | |
| tree | 59a23f963861f3714c079cb577f9a4c7794e5398 /devel | |
| parent | 783a559968968a407cbaa42249613216c27d54f8 (diff) | |
release-checks: check that git working directory is clean
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.
Amended by db: remove --ignored, since that seems like too much
trouble.
Diffstat (limited to 'devel')
| -rwxr-xr-x | devel/release-checks.sh | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/devel/release-checks.sh b/devel/release-checks.sh index ae02f557..efd0b344 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` +if [ "$git_status" = '' ] +then + echo Yes. +else + echo No. + append_emsg "Git working directory is not clean (git status --porcelain)." +fi +unset git_status + verfail () { echo No. |