# HG changeset patch
# User jwe
# Date 815127541 0
# Node ID 57907c5b9212fd9836575bb1abb428cbb31b6a77
# Parent  3b0b38ef2e2fcf0d972ac4f89e792f1ab9224659
[project @ 1995-10-31 08:19:01 by jwe]

diff -r 3b0b38ef2e2f -r 57907c5b9212 src/input.cc
--- a/src/input.cc	Tue Oct 31 08:13:37 1995 +0000
+++ b/src/input.cc	Tue Oct 31 08:19:01 1995 +0000
@@ -1135,7 +1135,7 @@
 	char *arg = argv[1];
 	if (strcmp (arg, "on") == 0)
 	  bind_builtin_variable ("echo_executing_commands", ECHO_SCRIPTS);
-	else if (strcmp (arg, "on") == 0)
+	else if (strcmp (arg, "off") == 0)
 	  bind_builtin_variable ("echo_executing_commands", ECHO_OFF);
 	else
 	  print_usage ("echo");