diff options
author | cushon <cushon@google.com> | 2018-07-06 03:19:54 -0700 |
---|---|---|
committer | Copybara-Service <copybara-piper@google.com> | 2018-07-06 03:21:22 -0700 |
commit | 2d4917c61cac71c22f7cbaee413a6d533eb1e999 (patch) | |
tree | f589c9cd0a41d96ef9916839651a83ca7e56a2a8 /tools | |
parent | 9438d1042df9e70570d245f6bd259acdfbb3455e (diff) |
Automatic code cleanup.
PiperOrigin-RevId: 203454459
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 |