fix random sanitization errors

29 years ago · 60fe7af914
1 changed files with 1 additions and 1 deletions
--- a/gdb/.Sanitize
+++ b/gdb/.Sanitize
@ -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}"