Mercurial > hg > truffle
diff mxtool/mx.py @ 15905:a9781031ecf1
mx: use python downloader if stderr is not a tty to avoid spamming logs
author | Gilles Duboscq <duboscq@ssw.jku.at> |
---|---|
date | Mon, 26 May 2014 12:01:30 +0200 |
parents | e065b9746246 |
children | 2022366b513c |
line wrap: on
line diff
--- a/mxtool/mx.py Thu May 22 20:36:31 2014 +0200 +++ b/mxtool/mx.py Mon May 26 12:01:30 2014 +0200 @@ -1887,7 +1887,7 @@ os.makedirs(d) - if not path.endswith(os.sep): + if sys.stderr.isatty() and not path.endswith(os.sep): # Try it with the Java tool first since it can show a progress counter myDir = dirname(__file__) javaSource = join(myDir, 'URLConnectionDownload.java')