diff --git a/build/build-dist.sh b/build/build-dist.sh index 8b8935b..5436ea8 100755 --- a/build/build-dist.sh +++ b/build/build-dist.sh @@ -160,6 +160,7 @@ do ;; --bin-dest) [ -z "$val" ] && die "empty $cmd not allowed" + # shellcheck disable=SC2034 BIN_DEST="$val" ;; --dist-clean)