diff options
Diffstat (limited to 'gdb/config/.Sanitize')
| -rw-r--r-- | gdb/config/.Sanitize | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/gdb/config/.Sanitize b/gdb/config/.Sanitize index 6ba56c0..4b36c2f 100644 --- a/gdb/config/.Sanitize +++ b/gdb/config/.Sanitize @@ -15,20 +15,6 @@ Do-first: -gm_files="tm-magic.h" - -if ( echo $* | grep keep\-gm > /dev/null ) ; then - keep_these_too="${gm_files} ${keep_these_too}" - if [ -n "${verbose}" ] ; then - echo Keeping ${gm_files} - fi -else - lose_these_too="${gm_files} ${lose_these_too}" - if [ -n "${verbose}" ] ; then - echo Deleting ${gm_files} - fi -fi - tic80_files="tic80" if ( echo $* | grep keep\-tic80 > /dev/null ) ; then |