diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/osx/xcode_version_flag.bzl | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tools/osx/xcode_version_flag.bzl b/tools/osx/xcode_version_flag.bzl index 7f48da470d..4b1e2aa9fe 100644 --- a/tools/osx/xcode_version_flag.bzl +++ b/tools/osx/xcode_version_flag.bzl @@ -27,7 +27,9 @@ def _strip_version(version): The version with trailing letters stripped. """ result = "" - for ch in str(version): + string = str(version) + for i in range(len(string)): + ch = string[i] if not ch.isdigit() and ch != ".": break |