tools/build-release.sh: work around git status bug.

Signed-off-by: Rusty Russell <rusty@rustcorp.com.au>
6 years ago · 91fdfbe2f4
1 changed files with 2 additions and 1 deletions
--- a/tools/build-release.sh
+++ b/tools/build-release.sh
@ -48,7 +48,8 @@ else
    TARGETS=" $* "
 fi

-if [ "$(git status --porcelain -u no)" != "" ] && ! $FORCE_UNCLEAN; then
+# `status --porcelain -u no` suppressed modified!  Bug reported...
+if [ "$(git diff --name-only)" != "" ] && ! $FORCE_UNCLEAN; then
    echo "Not a clean git directory" >&2
    exit 1
 fi