Georg Brandl <georg at python.org> added the comment: Isn't the usual way to use "make -s" if you don't want echoed commands? ---------- nosy: +georg.brandl _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue3964> _______________________________________