# HG changeset patch
# User Ryan Pavlik <rpavlik@iastate.edu>
# Date 1335399922 18000
# Node ID 119ae345cd3315b7b48b6fb161c1e245f8f0e5a8
# Parent  9a0fd1a69bbe1d944a7fbc8f6369abe1329630f4
patch tool: fix so it gets the version from index.html now

diff -r 9a0fd1a69bbe -r 119ae345cd33 tools/patch-tool-mxe
--- a/tools/patch-tool-mxe	Thu May 03 07:06:55 2012 +1000
+++ b/tools/patch-tool-mxe	Wed Apr 25 19:25:22 2012 -0500
@@ -16,8 +16,7 @@
 # John Doe <John Doe@acme.org>
 author=`git var GIT_AUTHOR_IDENT | sed 's/^\(.* [<].*[>]\).*$/\1/'`
 
-pkg_version=`grep '^$(PKG)_VERSION' $mxedir/src/$pkg.mk  | \
-  sed 's/.*:= \(.*\)/\1/'`
+pkg_version=$(sed -n "s/^.* id=\"${pkg}-version\">\([^<]*\)<.*$/\1/p" "${mxedir}/index.html")
 
 pkg_short_version=`echo $pkg_version | sed s/'\(.*\)\.[^.]*$'/'\1'/`