12 |
|
|
13 |
libtool="../libtool" |
libtool="../libtool" |
14 |
make="${MAKE-make}" |
make="${MAKE-make}" |
15 |
|
SHELL="${CONFIG_SHELL-/bin/sh}" |
16 |
|
|
17 |
prefix="./_inst" |
prefix="./_inst" |
18 |
if test "$need_prefix" = yes; then |
if test "$need_prefix" = yes; then |
24 |
prefix=NONE |
prefix=NONE |
25 |
fi |
fi |
26 |
|
|
27 |
|
# Extract CC from the libtool configuration |
28 |
|
eval `$libtool --config | grep '^CC='` |
29 |
|
|
30 |
# See how redirections should work. |
# See how redirections should work. |
31 |
case "$VERBOSE" in |
case "$VERBOSE" in |
32 |
NO | no | 0 | "") |
NO | no | 0 | "") |