# HG changeset patch
# User Ryan Pavlik <rpavlik@iastate.edu>
# Date 1336412678 18000
# Node ID 0db1b21402e977afe6bd0e26f1f3a2338c643125
# Parent  2f3353b7a3133b861813451dfce6196d462e6d81
patch tool: Check for package file, and if it's not there, use makefile to grab it.

diff -r 2f3353b7a313 -r 0db1b21402e9 tools/patch-tool-mxe
--- a/tools/patch-tool-mxe	Mon May 07 12:41:32 2012 -0500
+++ b/tools/patch-tool-mxe	Mon May 07 12:44:38 2012 -0500
@@ -46,6 +46,13 @@
 function init_git {
   setupEnv
   cd $gitsdir
+  if [ ! -f $mxedir/pkg/$pkg_file ]; then
+    make -C "$mxedir" download-$pkg
+    if [ ! $? -eq 0 ]; then
+      echo "Could not build target download-$pkg - cancelling init." >&2
+      exit 1
+    fi
+  fi
   echo $pkg_file | grep "\.tar\.gz"  >> /dev/null && tar xf $mxedir/pkg/$pkg_file
   echo $pkg_file | grep "\.tar\.bz2" >> /dev/null && tar xf $mxedir/pkg/$pkg_file
   echo $pkg_file | grep "\.tar\.xz"  >> /dev/null && xz -dc $mxedir/pkg/$pkg_file | tar xf -