diff --git a/tools/bits-info.sh b/tools/bits-info.sh index 6e818388..7b6a86d8 100755 --- a/tools/bits-info.sh +++ b/tools/bits-info.sh @@ -12,7 +12,7 @@ SCRIPT_VERSION='1.4' set -u 2> /dev/null || : # shellcheck disable=SC3040 # Ignore: In POSIX sh, set option pipefail is undefined -case "$(set 2> /dev/null +o || :)" in *'o pipefail'*) echo 'ok'; set -o pipefail || printf 1>&2 '%s\n' 'Failed: pipefail' ;; *) ;; esac +case "$(set 2> /dev/null +o || set || :)" in *'o pipefail'*) echo 'ok'; set -o pipefail || printf 1>&2 '%s\n' 'Failed: pipefail' ;; *) ;; esac echo '---' set +o | grep pipefail || set +o