changeset 42230:5c346977392d

Delete _gdbinit in distclean target.
author Eli Zaretskii <eliz@gnu.org>
date Fri, 21 Dec 2001 12:39:25 +0000
parents 0340f1accfdf
children 054cf5ce349b
files msdos/sed1v2.inp
diffstat 1 files changed, 4 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/msdos/sed1v2.inp	Fri Dec 21 12:29:36 2001 +0000
+++ b/msdos/sed1v2.inp	Fri Dec 21 12:39:25 2001 +0000
@@ -45,4 +45,8 @@
 /^[ 	]*$/d
 /^temacs:/s/prefix-args//
 /^temacs:/s/stamp-oldxmenu//
+/^	mv \.\/\.gdbinit/d
+/^	if test -f/c\
+	command.com /c if exist .gdbinit rm -f _gdbinit
+/^	else mv \.\/\.gdbinit/d
 /^	#/d