diff options
author | Stu Grossman <grossman@cygnus> | 1998-04-30 16:00:08 +0000 |
---|---|---|
committer | Stu Grossman <grossman@cygnus> | 1998-04-30 16:00:08 +0000 |
commit | 06855275ef2cc6694f902932c308938d3331ff1f (patch) | |
tree | 4c578dc6ecb8c7c0f8a89270416473990a1f246e /.Sanitize | |
parent | ad14e4d1766fd89388ae55f9a02780a494e8f878 (diff) | |
download | gdb-06855275ef2cc6694f902932c308938d3331ff1f.zip gdb-06855275ef2cc6694f902932c308938d3331ff1f.tar.gz gdb-06855275ef2cc6694f902932c308938d3331ff1f.tar.bz2 |
Add java sanitization gobbledegook.
Diffstat (limited to '.Sanitize')
-rw-r--r-- | .Sanitize | 9 |
1 files changed, 9 insertions, 0 deletions
@@ -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. |