diff options
| author | Bradley Sepos <[email protected]> | 2016-05-25 16:16:14 -0400 |
|---|---|---|
| committer | Bradley Sepos <[email protected]> | 2016-05-25 16:16:14 -0400 |
| commit | b557b43ff285126e05e40a3c3a9e922bf190eb0c (patch) | |
| tree | 975bbd93437b2b3f5514c35ca15b0123efdf4e9d /make | |
| parent | 85c90d645736c5b60093e91216208e9edd81b750 (diff) | |
build: Avoid sending ANSI to Windows terminals.
Diffstat (limited to 'make')
| -rw-r--r-- | make/lib/hb_distfile.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/make/lib/hb_distfile.py b/make/lib/hb_distfile.py index d9dced164..28b0706a7 100644 --- a/make/lib/hb_distfile.py +++ b/make/lib/hb_distfile.py @@ -78,7 +78,7 @@ class Tool(object): if percent >= 0: sys.stdout.write(" [%-20s] %.1f%%" % ('='*int(percent*20), percent*100)) sys.stdout.write('\n') # needed to flush on some systems - if self.options.jobs == 1: + if self.options.jobs == 1 and os.name != 'nt': sys.stdout.write('\033[F') # reuse line sys.stdout.flush() |