From efeb130fadb2faba06e120dccf112358c049188f Mon Sep 17 00:00:00 2001
From: Laurent Rineau <Laurent.Rineau__CGAL@normalesup.org>
Date: Thu, 8 Mar 2007 10:00:25 +0000
Subject: [PATCH] Fix real_which, which was quite stupide. :-)

---
 Installation/install_cgal | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Installation/install_cgal b/Installation/install_cgal
index 4a5d63ee8db..4bfa67387dc 100755
--- a/Installation/install_cgal
+++ b/Installation/install_cgal
@@ -314,7 +314,7 @@ real_which()
     for i in `echo ${PATH} | sed 's/ //g' | awk 'BEGIN {RS=":"}{print $0}'`
     do
 	i=`echo $i | sed 's// /g'`
-	if [ -x "${i}/$1" ]; then
+	if [ -x "${i}/$1" -a ! -d "${i}/$1" ]; then
 	    echo ${i}/$1
 	    return
 	fi
@@ -389,7 +389,7 @@ _check_for_util()
 _check_for_sysutil()
 {
     _tmp2=''
-    for _path in /bin /usr/bin /opt/sfw/bin /usr/sfw/bin /usr/gnu/bin; do
+    for _path in /bin /usr/bin /opt/sfw/bin /usr/sfw/bin; do
         if [ -x "${_path}/$1" ]; then
 	    eval "${3:-_$1}=\"${_path}/$1\""
 	    _tmp2=${_path}