diff options
| author | Fred Fish <fnf@specifix.com> | 1995-08-06 19:16:15 +0000 |
|---|---|---|
| committer | Fred Fish <fnf@specifix.com> | 1995-08-06 19:16:15 +0000 |
| commit | aa800755b1e49251d05a46576f768e1a544a3264 (patch) | |
| tree | f18ff921208c5fc04e6109785d15f93d2fa68e47 /.Sanitize | |
| parent | a445cee717efcf426428cc03e574943f96cba907 (diff) | |
| download | gdb-aa800755b1e49251d05a46576f768e1a544a3264.zip gdb-aa800755b1e49251d05a46576f768e1a544a3264.tar.gz gdb-aa800755b1e49251d05a46576f768e1a544a3264.tar.bz2 | |
Remove traces of gdbtk from Makefile.in if --lose-gdbtk arg seen.
Diffstat (limited to '.Sanitize')
| -rw-r--r-- | .Sanitize | 16 |
1 files changed, 16 insertions, 0 deletions
@@ -289,6 +289,22 @@ else done fi +if ( echo $* | grep lose\-gdbtk > /dev/null ) ; then + echo Catering to RMS by removing traces of \"gdbtk\"... + if [ -n "${verbose}" ] ; then + echo Removing traces of \"gdbtk\" from Makefile.in... + fi + cp Makefile.in new + sed -e '/GDBTK_SUPPORT_DIRS=/d' -e 's/ $(GDBTK_SUPPORT_DIRS)//' < Makefile.in > new + if [ -n "${safe}" -a ! -f .Recover/Makefile.in ] ; then + if [ -n "${verbose}" ] ; then + echo Caching Makefile.in in .Recover... + fi + mv Makefile.in .Recover + fi + mv new Makefile.in +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 |