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() { |
