comparison scripts/miscellaneous/bug_report.m @ 802:b7d68dfee8d8

[project @ 1994-10-13 17:13:55 by jwe]
author jwe
date Thu, 13 Oct 1994 17:13:55 +0000
parents 73fdde1f8473
children 3470f1e25a79
comparison
equal deleted inserted replaced
801:cbc37d8d0fdf 802:b7d68dfee8d8
55 cmd = sprintf ("%s %s", cmd, prefs); 55 cmd = sprintf ("%s %s", cmd, prefs);
56 endif 56 endif
57 57
58 system (sprintf ("%s > /dev/tty", cmd)); 58 system (sprintf ("%s > /dev/tty", cmd));
59 59
60 if (! isempty (prefs))
61 system (sprintf ("rm -f %s", prefs));
62 endif
63
60 endfunction 64 endfunction