diff src/input.cc @ 616:9ced66fce8a3

[project @ 1994-08-15 04:16:37 by jwe]
author jwe
date Mon, 15 Aug 1994 04:16:43 +0000
parents 14b2a186a5c0
children fae2bd91c027
line wrap: on
line diff
--- a/src/input.cc	Mon Aug 15 01:39:26 1994 +0000
+++ b/src/input.cc	Mon Aug 15 04:16:43 1994 +0000
@@ -130,7 +130,8 @@
 // Nonzero means we are using readline.
 int using_readline = 1;
 
-// Nonzero means commands are echoed as they are executed (-x).
+// Nonzero means commands are echoed as they are executed.
+// (--echo-commands; -x).
 int echo_input = 0;
 
 // Nonzero means this is an interactive shell.