configure
changeset 9420 f5a471303e6a
parent 8451 f516a52f19e8
child 9421 44a2609d1535
--- a/configure	Mon Oct 01 15:26:51 2018 +0100
+++ b/configure	Mon Oct 01 15:27:43 2018 +0100
@@ -107,25 +107,6 @@
    exit 1
 }
 
-find_helper() {
-   explanation="$1"
-   shift
-   tried="$*"
-   while [ -n "$1" ]
-do
-      found=`find_program "$1"`
-      if [ -n "$found" ]
-      then
-         echo "$1 found at $found"
-         HELPER=$1
-         return
-      fi
-      shift
-   done
-   echo "Could not find $explanation. Tried: $tried."
-   die "Make sure one of them is installed and available in your PATH."
-}
-
 case `echo -n x` in
 -n*) echo_n_flag='';;
 *)   echo_n_flag='-n';;