fix random sanitization errors
authorAngela Marie Thomas <angela@cygnus>
Mon, 23 Mar 1998 23:30:33 +0000 (23:30 +0000)
committerAngela Marie Thomas <angela@cygnus>
Mon, 23 Mar 1998 23:30:33 +0000 (23:30 +0000)
gdb/.Sanitize

index 178f5fcfae7948ee179770d4b5e7c3b6a2fdc08c..115097deb5f0ce3c08889d3b9d5d0b3c28b93b14 100644 (file)
@@ -15,7 +15,7 @@
 
 Do-first:
 
-gdbtk_files="ChangeLog-gdbtk README.GDBTK gdbtk.c gdbtcl gdbtcl2 gdbtk.tcl"
+gdbtk_files="ChangeLog-gdbtk README.GDBTK gdbtk.c gdbtcl gdbtcl2 gdbtk.tcl gdb.rc gdbtool.ico"
 
 if ( echo $* | grep lose\-gdbtk > /dev/null ) ; then
        lose_these_too="${gdbtk_files} ${lose_these_too}"