commit | 789af2c7bbf8da05427a36f2c91cbb688e063c07 | [log] [tgz] |
---|---|---|
author | David Ostrovsky <david@ostrovsky.org> | Sun Nov 03 09:21:58 2019 +0100 |
committer | David Ostrovsky <david@ostrovsky.org> | Sun Nov 03 09:21:58 2019 +0100 |
tree | d6737a7b9f0d1095ab534405079d1ae95427951b | |
parent | a9925952a986a9ac7f5ba26340fd74989792bba7 [diff] |
Bazel: Migrate workspace status script to python Migrate tools/workspace-status.sh script to Python to ensure better compatibility with other operating systems, as suggested in: [1]. [1] https://github.com/bazelbuild/bazel/issues/5958 Change-Id: If97392ba6dcf29bf6c9eb289d40d31e5bd6fa31b