Typo.

[simgrid.git] / tools / check_dist_archive

diff --git a/tools/check_dist_archive b/tools/check_dist_archive
index 22c717b..ca1f75e 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