diff options
-rwxr-xr-x | configure | 21 |
1 files changed, 1 insertions, 20 deletions
@@ -71,26 +71,7 @@ EOF | |||
71 | # Helper functions | 71 | # Helper functions |
72 | 72 | ||
73 | find_program() { | 73 | find_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 | ||
96 | die() { | 77 | die() { |