This is an automated email from the git hooks/post-receive script.
bernie.ogden pushed a commit to branch bernie/fs in repository toolchain/abe.
commit 3b575a0fe36d6f4d1bb1a863dc79b36b03e87a2f Author: Bernard Ogden bernie.ogden@linaro.org Date: Wed Jul 29 17:26:51 2015 +0200
Allow user to override 'local changes' check
Change-Id: I02f150da61b1867f284210e17102956fad40d661 --- config/bench/fs/makefs.sh | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-)
diff --git a/config/bench/fs/makefs.sh b/config/bench/fs/makefs.sh index 6367edf..71c6cfb 100755 --- a/config/bench/fs/makefs.sh +++ b/config/bench/fs/makefs.sh @@ -10,7 +10,13 @@ if git status -sb --porcelain | head -n1 | grep -q ']$'; then exit 1 elif test x"`git status -sb --porcelain | sed 1d`" != x; then echo "Repository has local changes" >&2 - exit 1 + REPLY= + while ! echo "${REPLY}" | grep -qi [yn]; do + echo "Continue anyway? (y/n) " >&2 + done + if test x"${REPLY,,}" = xn; then + exit 1 + fi fi
#All of these variables MUST be defined and non-empty