| commit | 76de629867ef9238c321f22f891e73f458efcee5 | [log] [tgz] |
|---|---|---|
| author | David Ostrovsky <david@ostrovsky.org> | Sun Nov 03 09:17:57 2019 +0100 |
| committer | David Ostrovsky <david@ostrovsky.org> | Sun Nov 03 09:19:02 2019 +0100 |
| tree | 7a7c3c72ea6fda3b5a0f0d053ab7028bba27a247 | |
| parent | 3ba1c2ecd6a5d4a21c0232661a772de0a6bb2f90 [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: If48636ede381827755c2435b96bec47ac065bedc