diff options
| author | David Edelsohn <dje.gcc@gmail.com> | 1995-04-12 15:45:15 +0000 |
|---|---|---|
| committer | David Edelsohn <dje.gcc@gmail.com> | 1995-04-12 15:45:15 +0000 |
| commit | d4c5309e4a7b09b56de8594945375f10adb39bf8 (patch) | |
| tree | 06871fd0bc2858c3d4873307be420af818147138 /gdb/.Sanitize | |
| parent | fa7a56f8dcb0978baa690ddffd1fd2084e449e48 (diff) | |
| download | gdb-d4c5309e4a7b09b56de8594945375f10adb39bf8.zip gdb-d4c5309e4a7b09b56de8594945375f10adb39bf8.tar.gz gdb-d4c5309e4a7b09b56de8594945375f10adb39bf8.tar.bz2 | |
Support keep-arc flag.
Diffstat (limited to 'gdb/.Sanitize')
| -rw-r--r-- | gdb/.Sanitize | 16 |
1 files changed, 14 insertions, 2 deletions
diff --git a/gdb/.Sanitize b/gdb/.Sanitize index 75d6df6..f7af5c1 100644 --- a/gdb/.Sanitize +++ b/gdb/.Sanitize @@ -15,6 +15,20 @@ Do-first: +arc_files="arc-tdep.c remote-arc.c" + +if ( echo $* | grep keep\-arc > /dev/null ) ; then + keep_these_too="${arc_files} ${keep_these_too}" + if [ -n "${verbose}" ] ; then + echo Keeping ${arc_files} + fi +else + lose_these_too="${arc_files} ${lose_these_too}" + if [ -n "${verbose}" ] ; then + echo Deleting ${arc_files} + fi +fi + # mswin gdb is not really gdbtk, but is close enough for now. gdbtk_files="gdbtk.c gdbtk.tcl mswin" @@ -338,8 +352,6 @@ remote-sa.sparc.c ser-go32-para.c state.c state.h -arc-tdep.c -remote-arc.c Do-last: |