diff options
| -rwxr-xr-x | scripts/relocate_sdk.py | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/scripts/relocate_sdk.py b/scripts/relocate_sdk.py index b247e65ce3..637ffe9483 100755 --- a/scripts/relocate_sdk.py +++ b/scripts/relocate_sdk.py | |||
| @@ -29,6 +29,7 @@ import sys | |||
| 29 | import stat | 29 | import stat |
| 30 | import os | 30 | import os |
| 31 | import re | 31 | import re |
| 32 | import errno | ||
| 32 | 33 | ||
| 33 | old_prefix = re.compile("##DEFAULT_INSTALL_DIR##") | 34 | old_prefix = re.compile("##DEFAULT_INSTALL_DIR##") |
| 34 | 35 | ||
| @@ -171,7 +172,7 @@ def change_dl_sysdirs(): | |||
| 171 | 172 | ||
| 172 | # MAIN | 173 | # MAIN |
| 173 | if len(sys.argv) < 4: | 174 | if len(sys.argv) < 4: |
| 174 | exit(1) | 175 | exit(-1) |
| 175 | 176 | ||
| 176 | new_prefix = sys.argv[1] | 177 | new_prefix = sys.argv[1] |
| 177 | new_dl_path = sys.argv[2] | 178 | new_dl_path = sys.argv[2] |
| @@ -184,7 +185,16 @@ for e in executables_list: | |||
| 184 | else: | 185 | else: |
| 185 | os.chmod(e, perms|stat.S_IRWXU) | 186 | os.chmod(e, perms|stat.S_IRWXU) |
| 186 | 187 | ||
| 187 | f = open(e, "r+b") | 188 | try: |
| 189 | f = open(e, "r+b") | ||
| 190 | except IOError as ioex: | ||
| 191 | if ioex.errno == errno.ETXTBSY: | ||
| 192 | print("Could not open %s. File used by another process.\nPlease "\ | ||
| 193 | "make sure you exit all processes that might use any SDK "\ | ||
| 194 | "binaries." % e) | ||
| 195 | else: | ||
| 196 | print("Could not open %s: %s(%d)" % (e, ioex.strerror, ioex.errno)) | ||
| 197 | exit(-1) | ||
| 188 | 198 | ||
| 189 | arch = get_arch() | 199 | arch = get_arch() |
| 190 | if arch: | 200 | if arch: |
