From aa800755b1e49251d05a46576f768e1a544a3264 Mon Sep 17 00:00:00 2001 From: Fred Fish Date: Sun, 6 Aug 1995 19:16:15 +0000 Subject: [PATCH] Remove traces of gdbtk from Makefile.in if --lose-gdbtk arg seen. --- .Sanitize | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/.Sanitize b/.Sanitize index 9d3cde75d90..86ea31e9230 100644 --- a/.Sanitize +++ b/.Sanitize @@ -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 -- 2.30.2