aboutsummaryrefslogtreecommitdiff
path: root/config
diff options
context:
space:
mode:
authorDoug Evans <dje@google.com>1998-12-15 01:10:10 +0000
committerDoug Evans <dje@google.com>1998-12-15 01:10:10 +0000
commitdebeb164c8ffedb50ccefbce6047165760d59558 (patch)
tree12d160c46b401a39ca9dfb6333f8ed840be7f22c /config
parent985fe436323af246806abeaf2f927a4551fc4230 (diff)
downloadgdb-debeb164c8ffedb50ccefbce6047165760d59558.zip
gdb-debeb164c8ffedb50ccefbce6047165760d59558.tar.gz
gdb-debeb164c8ffedb50ccefbce6047165760d59558.tar.bz2
keep mt-skyb if sky
Diffstat (limited to 'config')
-rw-r--r--config/.Sanitize4
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