1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
#!/bin/sh
if type gmake > /dev/null 2>&1; then
MAKE=gmake
elif type make > /dev/null 2>&1 &&
make -v 2>&1 | grep GNU > /dev/null; then
MAKE=make
else
echo "Can't find GNU make" >&2
exit 1
fi
MAKEOPTS=
for opt; do
case "$opt" in
--prefix=* | --exec-prefix=* | --sbindir=* \
| --datarootdir=* | --mandir=*)
name=`echo "$opt" | sed 's/^--\([^=]*\)=.*$/\1/' | tr - _`
value=`echo "$opt" | sed 's/^--[^=]*=//'`
MAKEOPTS="$MAKEOPTS $name='$value'"
;;
esac
done
rm -f config.cache
exec $MAKE config.cache ${MAKEOPTS}
|
