diff options
| -rw-r--r-- | gdb/.Sanitize | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gdb/.Sanitize b/gdb/.Sanitize index 4d7346c..0d0822c 100644 --- a/gdb/.Sanitize +++ b/gdb/.Sanitize @@ -31,7 +31,7 @@ fi # mswin gdb is not really gdbtk, but is close enough for now. -gdbtk_files="gdbtk.c gdbtk.tcl mswin" +gdbtk_files="README.GDBTK gdbtk.c gdbtk.tcl mswin" if ( echo $* | grep lose\-gdbtk > /dev/null ) ; then lose_these_too="${gdbtk_files} ${lose_these_too}" |