You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
21 lines
391 B
21 lines
391 B
#!/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 --no-check-certificate
|
|
--user-agent=$(wget --version |
|
|
$SED -n 's,GNU \(Wget\) \([0-9.]*\).*,\1/\2,p')"
|