summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorRyan Pavlik <rpavlik@iastate.edu>2012-05-07 17:55:52 (GMT)
committerRyan Pavlik <rpavlik@iastate.edu>2012-05-07 17:58:52 (GMT)
commit2958594449c18b29abe37f770d3106af75f916fd (patch)
tree8be4c8d55e120f05f1f62399d8045b22f2d9bfd9
parent7c10678984e70e1a4b80295824d61d64e10cf49e (diff)
downloadmxe-2958594449c18b29abe37f770d3106af75f916fd.zip
mxe-2958594449c18b29abe37f770d3106af75f916fd.tar.gz
mxe-2958594449c18b29abe37f770d3106af75f916fd.tar.bz2
patch tool: check preconditions for init
-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