From 7204026bc8ce9b9e7354464ccb3d07d69159ee4f Mon Sep 17 00:00:00 2001
From: Benjamin Bouvier <public@benj.me>
Date: Tue, 10 Jul 2018 17:06:03 +0200
Subject: [PATCH] Don't display stderr for the testing command in check.sh's
 runif;

And remove an obsolete comment in check-clippy.sh.
---
 check-clippy.sh           | 2 +-
 lib/codegen/meta/check.sh | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

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 ==="
         "$@"