diff 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
line wrap: on
line diff
--- a/scripts/miscellaneous/bug_report.m
+++ b/scripts/miscellaneous/bug_report.m
@@ -57,4 +57,8 @@
 
   system (sprintf ("%s > /dev/tty", cmd));
 
+  if (! isempty (prefs))
+    system (sprintf ("rm -f %s", prefs));
+  endif
+
 endfunction