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 5c9a86d..b9d08f1 100755 --- a/tools/patch-tool-mxe +++ b/tools/patch-tool-mxe @@ -73,6 +73,11 @@ function init_git { function export_patch { setupEnv + if [ ! -d $gitsdir/$pkg_subdir ]; then + echo "Error: $gitsdir/$pkg_subdir does not exist, so cannot export patches. Cancelling export." >&2 + exit 1 + fi + cd $gitsdir/$pkg_subdir && \ ( echo 'This file is part of MXE.' |