changeset 1590:57907c5b9212

[project @ 1995-10-31 08:19:01 by jwe]
author jwe
date Tue, 31 Oct 1995 08:19:01 +0000
parents 3b0b38ef2e2f
children 57e84c10c558
files src/input.cc
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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");