Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
cmon, script. Don't fail on me because I don't use colored diffs
[simgrid.git] / tools / check_dist_archive
index d282149..92092ea 100755 (executable)
@@ -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