diff msdos/sed1v2.inp @ 42230:5c346977392d

Delete _gdbinit in distclean target.
author Eli Zaretskii <eliz@gnu.org>
date Fri, 21 Dec 2001 12:39:25 +0000
parents a4fb0c9be609
children 84c29fc4cbf3
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