aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xconfigure21
1 files changed, 1 insertions, 20 deletions
diff --git a/configure b/configure
index bd962edf..8b99b2ae 100755
--- a/configure
+++ b/configure
@@ -71,26 +71,7 @@ EOF
71# Helper functions 71# Helper functions
72 72
73find_program() { 73find_program() {
74 path="$PATH" 74 command -v "$1" 2>/dev/null
75 item="`echo "$path" | sed 's/\([^:]*\):.*/\1/'`"
76 path="`echo "$path" | sed -n 's/[^:]*::*\(.*\)/\1/p'`"
77 found="no"
78 while [ -n "$item" ]
79 do
80 if [ -f "$item/$1" ]
81 then
82 found="yes"
83 break
84 fi
85 item="`echo "$path" | sed 's/\([^:]*\):.*/\1/'`"
86 path="`echo "$path" | sed -n 's/[^:]*::*\(.*\)/\1/p'`"
87 done
88 if [ "$found" = "yes" ]
89 then
90 echo "$item"
91 else
92 echo ""
93 fi
94} 75}
95 76
96die() { 77die() {