# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 706241147 0
# Node ID 61deba7b73b61b40a2b8e364a3e905e3cffdc03e
# Parent  70b112526394feff86479837702d547e2edcf295
*** empty log message ***

diff -r 70b112526394 -r 61deba7b73b6 src/dispnew.c
--- a/src/dispnew.c	Mon May 18 08:14:41 1992 +0000
+++ b/src/dispnew.c	Tue May 19 02:05:47 1992 +0000
@@ -1753,7 +1753,10 @@
 {
   if (!NILP (arg))
     {
-      ring_bell ();
+      if (noninteractive)
+	putchar (07);
+      else
+	ring_bell ();
       fflush (stdout);
     }
   else