configure
changeset 7614 0231b50ec959
parent 7613 8c60d7b4a0c1
child 7616 1169097e0ef8
--- a/configure	Fri Aug 19 15:50:57 2016 +0200
+++ b/configure	Fri Aug 19 15:55:55 2016 +0200
@@ -342,26 +342,6 @@
    exit 1
 fi
 
-find_helper() {
-   explanation="$1"
-   shift
-   tried="$*"
-   while [ "$1" ]
-   do
-      found=`find_program "$1"`
-      if [ "$found" ]
-      then
-         echo "$1 found at $found"
-         HELPER=$1
-         return
-      fi
-      shift
-   done
-   echo "Could not find a $explanation. Tried: $tried."
-   echo "Make sure one of them is installed and available in your PATH."
-   exit 1
-}
-
 # Write config
 
 echo "Writing configuration..."