From e5e493f1ac94fd8c5fae3e21d1215e2d96fe32a9 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Wed, 29 Jul 2020 18:15:25 +0200
Subject: [PATCH] [analysis-scripts] fix cmd-dep.sh output

---
 share/analysis-scripts/cmd-dep.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/share/analysis-scripts/cmd-dep.sh b/share/analysis-scripts/cmd-dep.sh
index 61fdaff4b34..7dc15d918d3 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"
-- 
GitLab