diff options
| author | Bert Belder <bertbelder@gmail.com> | 2018-09-02 23:37:14 +0200 |
|---|---|---|
| committer | Bert Belder <bertbelder@gmail.com> | 2018-09-24 13:45:03 -0700 |
| commit | 2e3a8b495d5d6c5ad595d65cedafcc2b0d75d559 (patch) | |
| tree | 10938fe00a8d5a92190c478eddded382d2c7fea4 /tools/sync_third_party.py | |
| parent | be8f49b33263238f17d8cbb334a36db6385fced2 (diff) | |
tools: make color output work on windows
Diffstat (limited to 'tools/sync_third_party.py')
| -rwxr-xr-x | tools/sync_third_party.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/sync_third_party.py b/tools/sync_third_party.py index cf0de30f3..697470a49 100755 --- a/tools/sync_third_party.py +++ b/tools/sync_third_party.py @@ -5,6 +5,9 @@ # find . -type f | grep -v "\.git" | xargs -I% git add -f --no-warn-embedded-repo "%" import third_party +import util + +util.enable_ansi_colors() third_party.fix_symlinks() |