Merge "Make mkstrip always return a string" am: 542399a8e8

Original change: https://android-review.googlesource.com/c/platform/build/+/2076128

Change-Id: Ibaf21180f44ec8feb2251b9a3926f14348a2db73
Signed-off-by: Automerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com>
This commit is contained in:
Cole Faust
2022-04-27 21:59:10 +00:00
committed by Automerger Merge Worker

View File

@@ -767,8 +767,11 @@ def _mkstrip(s):
That is, removes string's leading and trailing whitespace characters and
replaces any sequence of whitespace characters with with a single space.
"""
if type(s) != "string":
return s
t = type(s)
if t == "list":
s = " ".join(s)
elif t != "string":
fail("Argument to mkstrip must be a string or list.")
result = ""
was_space = False
for ch in s.strip().elems():