diff options
| -rw-r--r-- | gdb/.Sanitize | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gdb/.Sanitize b/gdb/.Sanitize index ca0e98c..99428a2 100644 --- 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}" |