shell typo

diff --git a/extras/tools/bootstrap b/extras/tools/bootstrap
index a27bf2e0c95db79eb74efb7269322f7c4ace17d3..28dce6ec34b637c60eb86256bea056501e1bfc0c 100755 (executable)
--- a/extras/tools/bootstrap
+++ b/extras/tools/bootstrap
@@ -26,7 +26,7 @@ fi
 
 check() {
 # FIXME : add version check
-if [ ! $1 --version 2>/dev/null ]
+if ! $1 --version >/dev/null 2>&1
 then
     echo "$1 not found"
     NEEDED="$NEEDED .$1"