diff --git a/make-release.sh b/make-release.sh
index e593734017b80deaf9c6ac9f3a986206977f65f6..5e3f71a9e1a0c79ea7cfbb523a22deec02d2ed48 100755 (executable)
--- a/make-release.sh
+++ b/make-release.sh
#!/usr/bin/env bash
-require_clean_work_tree() {
- # Update the index
- git update-index -q --ignore-submodules --refresh
- err=0
-
- # Disallow unstaged changes in the working tree
- if ! git diff-files --quiet --ignore-submodules --
- then
- echo >&2 "cannot $1: you have unstaged changes."
- git diff-files --name-status -r --ignore-submodules -- >&2
- err=1
- fi
-
- # Disallow uncommitted changes in the index
- if ! git diff-index --cached --quiet HEAD --ignore-submodules --
- then
- echo >&2 "cannot $1: your index contains uncommitted changes."
- git diff-index --cached --name-status -r --ignore-submodules HEAD -- >&2
- err=1
- fi
-
- if [ $err = 1 ]
- then
- echo >&2 "Please commit or stash them."
- exit 1
- fi
-}
-
-
if [[ ! $1 ]]; then
echo "usage: $0 versionName"
exit
fi
-require_clean_work_tree "$0"
+./require_clean_work_tree "$0"
release_dir="release-$1"