diff options
| author | Stan Shebs <shebs@codesourcery.com> | 1995-03-10 19:39:59 +0000 |
|---|---|---|
| committer | Stan Shebs <shebs@codesourcery.com> | 1995-03-10 19:39:59 +0000 |
| commit | 6e9cac5f320724c90dadc85283f40499bc4b13c8 (patch) | |
| tree | ce9eea80749543ffaf2e8605677ae497cd0087ca | |
| parent | fc5a05e9467db30f3e8f5dd330d2e9b4d386144a (diff) | |
| download | gdb-6e9cac5f320724c90dadc85283f40499bc4b13c8.zip gdb-6e9cac5f320724c90dadc85283f40499bc4b13c8.tar.gz gdb-6e9cac5f320724c90dadc85283f40499bc4b13c8.tar.bz2 | |
default to keeping rather than losing gdbtk
| -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 |