Diff

configure @ 9417:f5a471303e6a

configure: Remove unused function
author Matthew Wild <mwild1@gmail.com>
date Mon, 01 Oct 2018 15:27:43 +0100
parent 8448:f516a52f19e8
child 9418:44a2609d1535
line wrap: on
line diff
--- 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';;