diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2020-12-12 12:23:07 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-12-12 12:23:07 +0100 |
commit | 2760f5d0b401670e6ec976ac90ff345234fdfea3 (patch) | |
tree | 5b7d81791caac51d1c4d1014b43d58472cf84768 /platform/android | |
parent | 8c045fc9ff8101a3581045ed4baa02565850aebd (diff) | |
parent | 8ef5e3201c2dfbcdd80190691427300dc35428be (diff) |
Merge pull request #44315 from madmiraal/fix-handles-baseexception
Don't handle BaseException in build scripts
Diffstat (limited to 'platform/android')
-rw-r--r-- | platform/android/detect.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/platform/android/detect.py b/platform/android/detect.py index 60d4146712..650606ff8b 100644 --- a/platform/android/detect.py +++ b/platform/android/detect.py @@ -334,6 +334,6 @@ def get_ndk_version(path): key_value = list(map(lambda x: x.strip(), line.split("="))) if key_value[0] == "Pkg.Revision": return key_value[1] - except: + except Exception: print("Could not read source prop file '%s'" % prop_file_path) return None |