diff options
| author |  lberki <lberki@google.com> | 2017-10-20 16:22:10 +0200 |
|---|---|---|
| committer |  Dmitry Lomov <dslomov@google.com> | 2017-10-23 17:15:46 +0200 |
| commit | 761eac40a58d9d30b753fa7dda5c81a4accf88fb (patch) | |
| tree | 4f276b44ff3d51d7789bc1e8521c51a9cf043a53 /tools/osx | |
| parent | ef5c971c12d052c7d00a013fa643acbaf0fa7a1c (diff) | |
Minor update to a docstring.
RELNOTES: None.
PiperOrigin-RevId: 172880849
Diffstat (limited to 'tools/osx')
| -rw-r--r-- | tools/osx/xcode_version_flag.bzl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/osx/xcode_version_flag.bzl b/tools/osx/xcode_version_flag.bzl index 58efa961fa..38d52445a6 100644 --- a/tools/osx/xcode_version_flag.bzl +++ b/tools/osx/xcode_version_flag.bzl @@ -15,7 +15,7 @@ """Rules that allows select() to differentiate between Apple OS versions.""" def _strip_version(version): - """Strip trailing characters from version names. + """Strip trailing characters that aren't digits or '.' from version names. Some OS versions look like "9.0gm", which is not useful for select() statements. Thus, we strip the trailing "gm" part. |