From 91fdfbe2f41b7b0dcdbb31e471d4fda9f11041ef Mon Sep 17 00:00:00 2001
From: Rusty Russell <rusty@rustcorp.com.au>
Date: Fri, 22 Feb 2019 13:33:37 +1030
Subject: [PATCH] tools/build-release.sh: work around git status bug.

Signed-off-by: Rusty Russell <rusty@rustcorp.com.au>
---
 tools/build-release.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/tools/build-release.sh b/tools/build-release.sh
index 3a6252241..434d875ef 100755
--- 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