diff options
| -rwxr-xr-x | tools/patch-tool-mxe | 5 |
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 |