| commit | 0bac8848596695561f5f0015bcc32e085548bf5d | [log] [tgz] |
|---|---|---|
| author | Paul Wankadia <junyer@google.com> | Thu Jan 31 09:34:41 2019 -0800 |
| committer | Paul Wankadia <junyer@google.com> | Thu Jan 31 17:35:36 2019 +0000 |
| tree | 1114b5fabd6920f0c60d4fedfd24e1058cd43a0f | |
| parent | 05f7d011e473f74d3d07028855ef589d7bc3d84f [diff] |
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>