# HG changeset patch
# User jwe
# Date 837465322 0
# Node ID 5aa1be5f83204a0676ecbe320769dcaa6d720d3b
# Parent  7aaf6eea1103923cddddd84d5685ebb20272451a
[project @ 1996-07-15 21:15:22 by jwe]

diff --git a/scripts/miscellaneous/bug_report.m b/scripts/miscellaneous/bug_report.m
--- a/scripts/miscellaneous/bug_report.m
+++ b/scripts/miscellaneous/bug_report.m
@@ -58,7 +58,7 @@
     cmd = sprintf ("%s %s", cmd, prefs);
   endif
 
-  system (sprintf ("%s > /dev/tty", cmd));
+  system (cmd);
 
   if (! isempty (prefs))
     system (sprintf ("rm -f %s", prefs));