diff options
Diffstat (limited to 'gdb/.Sanitize')
-rw-r--r-- | gdb/.Sanitize | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gdb/.Sanitize b/gdb/.Sanitize index 73440a1..2756db7 100644 --- a/gdb/.Sanitize +++ b/gdb/.Sanitize @@ -15,7 +15,7 @@ Do-first: -gdbtk_files="ChangeLog-gdbtk README.GDBTK gdbtk.c gdbtcl gdbtcl2 gdbtk.tcl gdb.rc gdbtool.ico" +gdbtk_files="ChangeLog-gdbtk README.GDBTK gdbtk.c gdbtcl2 gdb.rc gdbtool.ico" if ( echo $* | grep lose\-gdbtk > /dev/null ) ; then lose_these_too="${gdbtk_files} ${lose_these_too}" |