From a4b656be4808acdfd16eed35fde7d543611facc6 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Mon, 7 Oct 2013 11:08:57 +0200
Subject: [PATCH 1/1] cmon, script. Don't fail on me because I don't use
 colored diffs

---
 tools/check_dist_archive | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/check_dist_archive b/tools/check_dist_archive
index d2821499b8..92092eacb8 100755
--- a/tools/check_dist_archive
+++ b/tools/check_dist_archive
@@ -97,7 +97,7 @@ EOF
     fi
 }
 
-colordiff=$(type -p colordiff)
+colordiff=$(type -p colordiff || true) 
 colorless() {
     if [ -x "$colordiff" ]; then
         "$colordiff" | less -R -F -X
-- 
2.20.1