aboutsummaryrefslogtreecommitdiff
path: root/.Sanitize
diff options
context:
space:
mode:
authorStu Grossman <grossman@cygnus>1998-04-30 16:00:08 +0000
committerStu Grossman <grossman@cygnus>1998-04-30 16:00:08 +0000
commit06855275ef2cc6694f902932c308938d3331ff1f (patch)
tree4c578dc6ecb8c7c0f8a89270416473990a1f246e /.Sanitize
parentad14e4d1766fd89388ae55f9a02780a494e8f878 (diff)
downloadgdb-06855275ef2cc6694f902932c308938d3331ff1f.zip
gdb-06855275ef2cc6694f902932c308938d3331ff1f.tar.gz
gdb-06855275ef2cc6694f902932c308938d3331ff1f.tar.bz2
Add java sanitization gobbledegook.
Diffstat (limited to '.Sanitize')
-rw-r--r--.Sanitize9
1 files changed, 9 insertions, 0 deletions
diff --git a/.Sanitize b/.Sanitize
index 3de6800..8065dd7 100644
--- a/.Sanitize
+++ b/.Sanitize
@@ -137,6 +137,15 @@ else
lose_these_too="${lose_these_too} ${cgen_files}"
fi
+# Java stuff
+java_files="boehm-gc libjava"
+
+if (echo $* | grep keep\-java > /dev/null); then
+ keep_these_too="${keep_these_too} ${java_files}"
+else
+ lose_these_too="${lose_these_too} ${java_files}"
+fi
+
# This top-level directory is special. We often check out only subsets
# of this directory, and complaining about directories or files we didn't
# check out just gets obnoxious.