diff options
| author | Stan Shebs <shebs@codesourcery.com> | 1999-02-11 02:02:02 +0000 |
|---|---|---|
| committer | Stan Shebs <shebs@codesourcery.com> | 1999-02-11 02:02:02 +0000 |
| commit | 3f25bdb8b954fbb77923c732badb9493b8eec0a9 (patch) | |
| tree | ba0c07c08a7cb8127d664e6bf58d604f5d5c4190 | |
| parent | f43739dcc425b761d22dc9e3f4ecd329acb6d798 (diff) | |
| download | gdb-3f25bdb8b954fbb77923c732badb9493b8eec0a9.zip gdb-3f25bdb8b954fbb77923c732badb9493b8eec0a9.tar.gz gdb-3f25bdb8b954fbb77923c732badb9493b8eec0a9.tar.bz2 | |
Remove java sanitization.
| -rw-r--r-- | include/.Sanitize | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/include/.Sanitize b/include/.Sanitize index 084b0b0..72626a6 100644 --- a/include/.Sanitize +++ b/include/.Sanitize @@ -128,38 +128,6 @@ else done fi -if [ -n "${verbose}" ] ; then - echo Processing \"java\"... -fi - -java_files="ChangeLog demangle.h" -if ( echo $* | grep keep\-java > /dev/null ) ; then - for i in $java_files ; do - if test ! -d $i && (grep sanitize-java $i > /dev/null) ; then - if [ -n "${verbose}" ] ; then - echo Keeping java stuff in $i - fi - fi - done -else - for i in * ; do - if test ! -d $i && (grep sanitize-java $i > /dev/null) ; then - if [ -n "${verbose}" ] ; then - echo Removing traces of \"java\" from $i... - fi - cp $i new - sed '/start\-sanitize\-java/,/end-\sanitize\-java/d' < $i > new - if [ -n "${safe}" -a ! -f .Recover/$i ] ; then - if [ -n "${verbose}" ] ; then - echo Caching $i in .Recover... - fi - mv $i .Recover - fi - mv new $i - fi - done -fi - for i in * ; do if test ! -d $i && (grep sanitize $i > /dev/null) ; then echo '***' Some mentions of Sanitize are still left in $i! 1>&2 |