X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/90070d4b09b1d26e41403d432b0bb40940a7f9a1..a4b656be4808acdfd16eed35fde7d543611facc6:/tools/check_dist_archive

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