diff options
author | Doug Evans <dje@google.com> | 1998-12-15 01:10:10 +0000 |
---|---|---|
committer | Doug Evans <dje@google.com> | 1998-12-15 01:10:10 +0000 |
commit | debeb164c8ffedb50ccefbce6047165760d59558 (patch) | |
tree | 12d160c46b401a39ca9dfb6333f8ed840be7f22c /config | |
parent | 985fe436323af246806abeaf2f927a4551fc4230 (diff) | |
download | gdb-debeb164c8ffedb50ccefbce6047165760d59558.zip gdb-debeb164c8ffedb50ccefbce6047165760d59558.tar.gz gdb-debeb164c8ffedb50ccefbce6047165760d59558.tar.bz2 |
keep mt-skyb if sky
Diffstat (limited to 'config')
-rw-r--r-- | config/.Sanitize | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/config/.Sanitize b/config/.Sanitize index 1b1af3b..826f6fb 100644 --- a/config/.Sanitize +++ b/config/.Sanitize @@ -28,9 +28,9 @@ else fi if ( echo $* | grep keep\-sky > /dev/null ) ; then - keep_these_too="${keep_these_too} mt-sky" + keep_these_too="${keep_these_too} mt-sky mt-skyb" else - lose_these_too="${lose_these_too} mt-sky" + lose_these_too="${lose_these_too} mt-sky mt-skyb" fi # All files listed between the "Things-to-keep:" line and the |