diff options
| -rwxr-xr-x | make_release.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/make_release.sh b/make_release.sh index d6ae82a..a1ac1a8 100755 --- a/make_release.sh +++ b/make_release.sh @@ -7,6 +7,11 @@ if [ ! "$VERS" ];then exit 1 fi +if [ -n "$(git status --porcelain)" ]; then + echo "There are uncommitted changes, ensure that working directory is clean!" + exit 1 +fi + # cd to root dir cd "$(dirname "$0")" AROOT="$(pwd)" |