comparison scripts/miscellaneous/bug_report.m @ 2323:5aa1be5f8320

[project @ 1996-07-15 21:15:22 by jwe]
author jwe
date Mon, 15 Jul 1996 21:15:22 +0000
parents 949ab8eba8bc
children d07a5d0b57e2
comparison
equal deleted inserted replaced
2322:7aaf6eea1103 2323:5aa1be5f8320
56 56
57 if (! isempty (prefs)) 57 if (! isempty (prefs))
58 cmd = sprintf ("%s %s", cmd, prefs); 58 cmd = sprintf ("%s %s", cmd, prefs);
59 endif 59 endif
60 60
61 system (sprintf ("%s > /dev/tty", cmd)); 61 system (cmd);
62 62
63 if (! isempty (prefs)) 63 if (! isempty (prefs))
64 system (sprintf ("rm -f %s", prefs)); 64 system (sprintf ("rm -f %s", prefs));
65 endif 65 endif
66 66