# HG changeset patch
# User jwe
# Date 751316632 0
# Node ID bff84a41f944f39d84c3a752c05d2b1e2b74afab
# Parent  ef33b132b192401d5441901b997ef67f36b991a4
[project @ 1993-10-22 19:03:52 by jwe]
(raw_mode): Only complain about stdin not being a tty if interactive
or forced interactive.

diff -r ef33b132b192 -r bff84a41f944 src/utils.cc
--- a/src/utils.cc	Thu Oct 21 23:37:58 1993 +0000
+++ b/src/utils.cc	Fri Oct 22 19:03:52 1993 +0000
@@ -83,6 +83,7 @@
 #include "variables.h"
 #include "error.h"
 #include "utils.h"
+#include "input.h"
 #include "octave.h"
 #include "mappers.h"
 #include "version.h"
@@ -214,7 +215,7 @@
   static int curr_on = 0;
 
   int tty_fd = STDIN_FILENO;
-  if (! isatty (tty_fd))
+  if ((interactive || forced_interactive) && ! isatty (tty_fd))
     {
       error ("stdin is not a tty!");
       return;