diff --git a/share/analysis-scripts/cmd-dep.sh b/share/analysis-scripts/cmd-dep.sh
index 61fdaff4b3400bf2afeac287d5cf36b3d0177acf..7dc15d918d3a566489d08ced974d6aa645662ec0 100755
--- a/share/analysis-scripts/cmd-dep.sh
+++ b/share/analysis-scripts/cmd-dep.sh
@@ -18,7 +18,7 @@ STRING=$*
 
 if
   [ ! -e $FILE ] ||
-  ! (diff --brief --ignore-space-change $FILE - <<< "$STRING")
+  ! (diff --brief --ignore-space-change $FILE - >/dev/null <<< "$STRING")
 then
   mkdir -p $(dirname "$FILE")
   echo $STRING > "$FILE"