Diff

configure @ 7611:0231b50ec959

configure: Remove unused 'find_helper' function
author Kim Alvefur <zash@zash.se>
date Fri, 19 Aug 2016 15:55:55 +0200
parent 7610:8c60d7b4a0c1
child 7613:1169097e0ef8
line wrap: on
line diff
--- 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..."