From c5e86c7b591fa6b04b5e6dddc8851d4f7414fa0a Mon Sep 17 00:00:00 2001 From: Than Ngo Date: Tue, 23 Mar 2021 20:08:30 +0100 Subject: [PATCH] set shellcheck shell=sh to avoid coverity werning --- which2.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/which2.sh b/which2.sh index ce22d37..2b8b20a 100644 --- a/which2.sh +++ b/which2.sh @@ -1,3 +1,4 @@ +# shellcheck shell=sh # Initialization script for bash, sh, mksh and ksh _declare="declare -f"