#!/bin/sh# Ported from main MakefileMAKE='make'SED='sed'SORT='sort'if [ gmake --help >/dev/null 2>&1 ]; then MAKE='gmake'fiif [ gsed --help >/dev/null 2>&1 ]; then SED='gsed'fiif [ gsort --help >/dev/null 2>&1 ]; then SORT='gsort'fiWGET="wget --user-agent=$(wget --version | $SED -n 's,GNU \(Wget\) \([0-9.]*\).*,\1/\2,p')"
#!/bin/sh
# Ported from main Makefile
MAKE='make'
SED='sed'
SORT='sort'
if [ gmake --help >/dev/null 2>&1 ]; then
MAKE='gmake'
fi
if [ gsed --help >/dev/null 2>&1 ]; then
SED='gsed'
fi
if [ gsort --help >/dev/null 2>&1 ]; then
SORT='gsort'
fi
WGET="wget --user-agent=$(wget --version |
$SED -n 's,GNU \(Wget\) \([0-9.]*\).*,\1/\2,p')"