diff options
| author | Timothy Gu <timothygu99@gmail.com> | 2014-09-23 21:28:04 (GMT) |
|---|---|---|
| committer | Timothy Gu <timothygu99@gmail.com> | 2014-09-23 21:28:47 (GMT) |
| commit | ebf104acbdf22a785937d9a55ce722b7f11dc984 (patch) | |
| tree | 582555aaeff2737bd062787300507d1237ba9651 /tools/update-gmsl | |
| parent | fe6a2db4e94f22649b7cb48058c5217ec31e1012 (diff) | |
| download | mxe-ebf104acbdf22a785937d9a55ce722b7f11dc984.zip mxe-ebf104acbdf22a785937d9a55ce722b7f11dc984.tar.gz mxe-ebf104acbdf22a785937d9a55ce722b7f11dc984.tar.bz2 | |
tools: use a "compat-init.sh" for all compatibility variables
Signed-off-by: Timothy Gu <timothygu99@gmail.com>
Diffstat (limited to 'tools/update-gmsl')
| -rwxr-xr-x | tools/update-gmsl | 13 |
1 files changed, 1 insertions, 12 deletions
diff --git a/tools/update-gmsl b/tools/update-gmsl index d015197..29cf592 100755 --- a/tools/update-gmsl +++ b/tools/update-gmsl @@ -9,18 +9,7 @@ clean(){ rm -rf tmp-gmsl.tar.gz gmsl-* } -# Ported from main Makefile -SED='sed' -SORT='sort' -if [ gsed --help >/dev/null 2>&1 ]; then - SED='gsed' -fi -if [ gsort --help >/dev/null 2>&1 ]; then - SED='gsort' -fi -WGET="wget --no-check-certificate - --user-agent=$(wget --version | - $SED -n 's,GNU \(Wget\) \([0-9.]*\).*,\1/\2,p')" +. tools/compat-init.sh # Current GMSL version. E.g. '1.1.5' current_version=$(grep 'gmsl_version.*=' 'ext/__gmsl' | \ |