tree 1114b5fabd6920f0c60d4fedfd24e1058cd43a0f
parent 05f7d011e473f74d3d07028855ef589d7bc3d84f
author Paul Wankadia <junyer@google.com> 1548956081 -0800
committer Paul Wankadia <junyer@google.com> 1548956136 +0000

Work around a bug in older versions of bash. :/

Change-Id: I9ad2b67e4ae1b6337f6a2716d5e3221aff66c4c8
Reviewed-on: https://code-review.googlesource.com/c/37954
Reviewed-by: Paul Wankadia <junyer@google.com>