Browse Source

default to keeping rather than losing gdbtk

gdb-4_18-branch
Stan Shebs 32 years ago
parent
commit
6e9cac5f32
  1. 10
      gdb/.Sanitize

10
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

Loading…
Cancel
Save