diff options
| -rw-r--r-- | gdb/.Sanitize | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/gdb/.Sanitize b/gdb/.Sanitize index 8bc8b8e..59da6b5 100644 --- a/gdb/.Sanitize +++ b/gdb/.Sanitize @@ -33,15 +33,15 @@ fi gdbtk_files="gdbtk.c gdbtk.tcl mswin" -if ( echo $* | grep keep\-gdbtk > /dev/null ) ; then - keep_these_too="${gdbtk_files} ${keep_these_too}" +if ( echo $* | grep lose\-gdbtk > /dev/null ) ; then + lose_these_too="${gdbtk_files} ${lose_these_too}" if [ -n "${verbose}" ] ; then - echo Keeping ${gdbtk_files} + echo Deleting ${gdbtk_files} fi else - lose_these_too="${gdbtk_files} ${lose_these_too}" + keep_these_too="${gdbtk_files} ${keep_these_too}" if [ -n "${verbose}" ] ; then - echo Deleting ${gdbtk_files} + echo Keeping ${gdbtk_files} fi fi |