long => int, and other corrections

[simgrid.git] / tools / check_dist_archive

diff --git a/tools/check_dist_archive b/tools/check_dist_archive
index d2821499b89735997862f4bfa05f855413d4835e..92092eacb8cf979e2c3e14afc5029d4e204ab5b5 100755 (executable)
--- a/tools/check_dist_archive
+++ b/tools/check_dist_archive
@@ -97,7 +97,7 @@ EOF
     fi
 }
 
     fi
 }
 

-colordiff=$(type -p colordiff)
+colordiff=$(type -p colordiff || true) 

 colorless() {
     if [ -x "$colordiff" ]; then
         "$colordiff" | less -R -F -X
 colorless() {
     if [ -x "$colordiff" ]; then
         "$colordiff" | less -R -F -X