contrib/chg/Makefile
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