From 40691b478a9bba202b71f696117c0f550686c010 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Thu, 31 Jan 2013 12:02:23 +0100
Subject: [PATCH 1/1] Use -x to test for executable.

---
 tools/check_dist_archive | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/check_dist_archive b/tools/check_dist_archive
index 22c717b547..ca1f75e5ba 100755
--- 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
-- 
2.20.1