diff options
| author | Fred Fish <fnf@specifix.com> | 1997-03-22 23:53:32 +0000 |
|---|---|---|
| committer | Fred Fish <fnf@specifix.com> | 1997-03-22 23:53:32 +0000 |
| commit | 46c755d49577f39315ddadc88b73c5247bb893c0 (patch) | |
| tree | 72d35575287c02c52b40173e6532e56b477cd0cc /gdb | |
| parent | 12967062e49a2d6d15e5267a5752c977abb48403 (diff) | |
| download | gdb-46c755d49577f39315ddadc88b73c5247bb893c0.zip gdb-46c755d49577f39315ddadc88b73c5247bb893c0.tar.gz gdb-46c755d49577f39315ddadc88b73c5247bb893c0.tar.bz2 | |
Forgot this change in last checkin.
Diffstat (limited to 'gdb')
| -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 e51c3d5..4025e8b 100644 --- a/gdb/config/.Sanitize +++ b/gdb/config/.Sanitize @@ -63,6 +63,20 @@ else fi fi +tic80_files="tic80" + +if ( echo $* | grep keep\-tic80 > /dev/null ) ; then + keep_these_too="${tic80_files} ${keep_these_too}" + if [ -n "${verbose}" ] ; then + echo Keeping ${tic80_files} + fi +else + lose_these_too="${tic80_files} ${lose_these_too}" + if [ -n "${verbose}" ] ; then + echo Deleting ${tic80_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 |