changeset 28327 | 3ab370f84a23 |
parent 28062 | 1000ccf804a6 |
child 28605 | baa073200ba2 |
--- a/contrib/chg/Makefile Wed Mar 02 10:10:06 2016 +0000 +++ b/contrib/chg/Makefile Mon Feb 29 11:43:25 2016 +0000 @@ -38,7 +38,6 @@ $(HG) serve --cwd / --cmdserver chgunix \ --address $(CHGSOCKNAME) \ --config extensions.chgserver= \ - --config progress.assume-tty=1 \ --config cmdserver.log=/dev/stderr .PHONY: clean