keep Windows GDB, believe it or not

diff --git a/gdb/.Sanitize b/gdb/.Sanitize
index ca0e98ca71390736a3bd17cff8a38bc16c190679..99428a25791b7e6d87f6d938520cd5e3a293afa1 100644 (file)
--- a/gdb/.Sanitize
+++ b/gdb/.Sanitize
@@ -29,7 +29,9 @@ else
        fi
 fi
 
-gdbtk_files="gdbtk.c gdbtk.tcl"
+# mswin gdb is not really gdbtk, but is close enough for now.
+
+gdbtk_files="gdbtk.c gdbtk.tcl mswin"
 
 if ( echo $* | grep keep\-gdbtk > /dev/null ) ; then
        keep_these_too="${gdbtk_files} ${keep_these_too}"