diff Makefile.in @ 3708:d95b8b84cea7

enable additional $(PKG)_UPDATE targets.
author John W. Eaton <jwe@octave.org>
date Wed, 03 Sep 2014 19:00:40 -0400
parents 16615236ec37
children c8546fe79bc9
line wrap: on
line diff
--- a/Makefile.in	Wed Sep 03 12:20:08 2014 -0400
+++ b/Makefile.in	Wed Sep 03 19:00:40 2014 -0400
@@ -152,6 +152,7 @@
 INSTALL    := $(shell ginstall --help >/dev/null 2>&1 && echo g)install
 PATCH      := $(shell gpatch --help >/dev/null 2>&1 && echo g)patch
 SED        := $(shell gsed --help >/dev/null 2>&1 && echo g)sed
+SORT       := $(shell gsort --help >/dev/null 2>&1 && echo g)sort
 WGET       := wget --no-check-certificate \
                    --user-agent=$(shell wget --version | \
                    $(SED) -n 's,GNU \(Wget\) \([0-9.]*\).*,\1/\2,p')