diff src/input.cc @ 2431:8426659cd60e

[project @ 1996-10-26 04:37:45 by jwe]
author jwe
date Sat, 26 Oct 1996 04:39:01 +0000
parents dd29ab8af9e7
children f667d7ec08b9
line wrap: on
line diff
--- a/src/input.cc
+++ b/src/input.cc
@@ -1158,9 +1158,11 @@
       {
 	if ((Vecho_executing_commands & ECHO_SCRIPTS)
 	    || (Vecho_executing_commands & ECHO_FUNCTIONS))
-	  bind_builtin_variable ("echo_executing_commands", ECHO_OFF);
+	  bind_builtin_variable ("echo_executing_commands",
+				 (double) ECHO_OFF);
 	else
-	  bind_builtin_variable ("echo_executing_commands", ECHO_SCRIPTS);
+	  bind_builtin_variable ("echo_executing_commands",
+				 (double) ECHO_SCRIPTS);
       }
       break;
 
@@ -1169,9 +1171,11 @@
 	string arg = argv[1];
 
 	if (arg == "on")
-	  bind_builtin_variable ("echo_executing_commands", ECHO_SCRIPTS);
+	  bind_builtin_variable ("echo_executing_commands",
+				 (double) ECHO_SCRIPTS);
 	else if (arg == "off")
-	  bind_builtin_variable ("echo_executing_commands", ECHO_OFF);
+	  bind_builtin_variable ("echo_executing_commands",
+				 (double) ECHO_OFF);
 	else
 	  print_usage ("echo");
       }
@@ -1183,9 +1187,10 @@
 
 	if (arg == "on" && argv[2] == "all")
 	  bind_builtin_variable ("echo_executing_commands",
-				 (ECHO_SCRIPTS | ECHO_FUNCTIONS));
+				 (double) (ECHO_SCRIPTS | ECHO_FUNCTIONS));
 	else if (arg == "off" && argv[2] == "all")
-	  bind_builtin_variable ("echo_executing_commands", ECHO_OFF);
+	  bind_builtin_variable ("echo_executing_commands",
+				 (double) ECHO_OFF);
 	else
 	  print_usage ("echo");
       }