changeset 802:b7d68dfee8d8

[project @ 1994-10-13 17:13:55 by jwe]
author jwe
date Thu, 13 Oct 1994 17:13:55 +0000
parents cbc37d8d0fdf
children 1844c17634f9
files scripts/miscellaneous/bug_report.m
diffstat 1 files changed, 4 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/scripts/miscellaneous/bug_report.m	Thu Oct 13 17:03:45 1994 +0000
+++ b/scripts/miscellaneous/bug_report.m	Thu Oct 13 17:13:55 1994 +0000
@@ -57,4 +57,8 @@
 
   system (sprintf ("%s > /dev/tty", cmd));
 
+  if (! isempty (prefs))
+    system (sprintf ("rm -f %s", prefs));
+  endif
+
 endfunction