copy-firmware.sh: Run check_whence.py only if in a git repo

check_whence.py requires the current tree to be a git repo so run it only
if that is indeed the case.

Signed-off-by: Juerg Haefliger <juerg.haefliger@canonical.com>

diff --git a/copy-firmware.sh b/copy-firmware.sh
index dcb3b92c7229901886a79359e3c7024692a3f94b..1a1094ae7411126680363b3bc18a88f27faf0068 100755 (executable)
--- a/copy-firmware.sh
+++ b/copy-firmware.sh
@@ -65,8 +65,10 @@ if test -d "$destdir"; then
     find "$destdir" -type d -empty >/dev/null || warn "destination folder is not empty."
 fi
 
-$verbose "Checking that WHENCE file is formatted properly"
-./check_whence.py || err "check_whence.py has detected errors."
+if test -e .git/config; then
+    $verbose "Checking that WHENCE file is formatted properly"
+    ./check_whence.py || err "check_whence.py has detected errors."
+fi
 
 # shellcheck disable=SC2162 # file/folder name can include escaped symbols
 grep -E '^(RawFile|File):' WHENCE | sed -E -e 's/^(RawFile|File): */\1 /;s/"//g' | while read k f; do