summaryrefslogtreecommitdiffstats
path: root/tools
diff options
context:
space:
mode:
authorRyan Pavlik <rpavlik@iastate.edu>2012-05-07 17:55:52 (GMT)
committerMark Brand <mabrand@mabrand.nl>2012-06-13 16:22:32 (GMT)
commit63917a89b3b12d68e91b9d355fc5e7687b4a9ab9 (patch)
tree721d0849771c302b71a07178938bce632b42abcd /tools
parentcf1d99d68da6806a07bd5abc78174918603c0e60 (diff)
downloadmxe-63917a89b3b12d68e91b9d355fc5e7687b4a9ab9.zip
mxe-63917a89b3b12d68e91b9d355fc5e7687b4a9ab9.tar.gz
mxe-63917a89b3b12d68e91b9d355fc5e7687b4a9ab9.tar.bz2
patch tool: check preconditions for init
Diffstat (limited to 'tools')
-rwxr-xr-xtools/patch-tool-mxe5
1 files changed, 5 insertions, 0 deletions
diff --git a/tools/patch-tool-mxe b/tools/patch-tool-mxe
index b9d08f1..aeb9593 100755
--- a/tools/patch-tool-mxe
+++ b/tools/patch-tool-mxe
@@ -47,6 +47,11 @@ function init_git {
setupEnv
cd $gitsdir
+ if [ -d $gitsdir/$pkg_subdir ]; then
+ echo "Error: $gitsdir/$pkg_subdir already exists. Cancelling init." >&2
+ exit 1
+ fi
+
echo "Checking for cached $pkg_file"
if [ ! -f $mxedir/pkg/$pkg_file ]; then
make -C "$mxedir" download-$pkg