From 554c4761e9b9c5b5badb0fa1ec9ef4fe3c24e3bb Mon Sep 17 00:00:00 2001 From: Juerg Haefliger Date: Fri, 8 Nov 2024 16:30:28 +0100 Subject: [PATCH] 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 --- copy-firmware.sh | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/copy-firmware.sh b/copy-firmware.sh index dcb3b92c..1a1094ae 100755 --- 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