diff --git a/check-clippy.sh b/check-clippy.sh index 20ac595851..072069cb9b 100755 --- a/check-clippy.sh +++ b/check-clippy.sh @@ -1,7 +1,7 @@ #!/bin/bash set -euo pipefail -# Usage: check-clippy.sh [--install] +# Usage: check-clippy.sh if cargo install --list | tee /dev/null | grep -q "^clippy v0"; then exit 0 diff --git a/lib/codegen/meta/check.sh b/lib/codegen/meta/check.sh index 14e51da065..7b9a9e7760 100755 --- a/lib/codegen/meta/check.sh +++ b/lib/codegen/meta/check.sh @@ -4,7 +4,7 @@ topdir=$(dirname "$0") cd "$topdir" function runif { - if type "$1" > /dev/null; then + if type "$1" > /dev/null 2>&1; then version=$("$1" --version 2>&1) echo " === $1: $version ===" "$@"