Merge branch 'with_java'

[simgrid.git] / tools / check_dist_archive

diff --git a/tools/check_dist_archive b/tools/check_dist_archive
index 22c717b547cd0d2317ead2543f2821dde66d00b8..ca1f75e5ba51232fb10ec4cd32f1f9a226ebe2d1 100755 (executable)
--- a/tools/check_dist_archive
+++ b/tools/check_dist_archive
@@ -86,7 +86,7 @@ diffcmd() {
 
 colordiff=$(type -p colordiff)
 colorless() {
-    if [ -n "$colordiff" ]; then
+    if [ -x "$colordiff" ]; then
         "$colordiff" | less -R -F
     else
         less -F