diff options
| author | Andrew Cagney <cagney@redhat.com> | 1998-10-08 05:35:49 +0000 |
|---|---|---|
| committer | Andrew Cagney <cagney@redhat.com> | 1998-10-08 05:35:49 +0000 |
| commit | 287026b71a26ef55ca4d48aeb8248d842d81de5a (patch) | |
| tree | 871cecc3ddd32348b607ac8e91962abd10935239 /gdb/config/.Sanitize | |
| parent | a6c7958be8005f12e34054f4b6f839404dc57ae1 (diff) | |
| download | gdb-287026b71a26ef55ca4d48aeb8248d842d81de5a.zip gdb-287026b71a26ef55ca4d48aeb8248d842d81de5a.tar.gz gdb-287026b71a26ef55ca4d48aeb8248d842d81de5a.tar.bz2 | |
Add new config options --enable-carp (tempoary) and
--enable-targets=... (more permenant). Add dummy target `carp' with
associated directory (tempoary).
Expect a rewrite down the track.
Diffstat (limited to 'gdb/config/.Sanitize')
| -rw-r--r-- | gdb/config/.Sanitize | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/gdb/config/.Sanitize b/gdb/config/.Sanitize index 83a1570..3ecaaf1 100644 --- a/gdb/config/.Sanitize +++ b/gdb/config/.Sanitize @@ -29,6 +29,20 @@ else fi fi +carp_files="carp" + +if ( echo $* | grep keep\-carp > /dev/null ) ; then + keep_these_too="${carp_files} ${keep_these_too}" + if [ -n "${verbose}" ] ; then + echo Keeping ${carp_files} + fi +else + lose_these_too="${carp_files} ${lose_these_too}" + if [ -n "${verbose}" ] ; then + echo Deleting ${carp_files} + fi +fi + # All files listed between the "Things-to-keep:" line and the # "Files-to-sed:" line will be kept. All other files will be removed. # Directories listed in this section will have their own Sanitize |