diff options
| -rw-r--r-- | .Sanitize | 11 | ||||
| -rw-r--r-- | Makefile.in | 3 |
2 files changed, 14 insertions, 0 deletions
@@ -119,6 +119,17 @@ else verbose= fi +# Remove "sanitize-Sanitize" lines. +if [ -n "${verbose}" ] ; then + echo Cleaning unconditional sanitizations out of Makefile.in... +fi +cp Makefile.in new +sed '/start\-sanitize\-Sanitize/,/end-\sanitize\-Sanitize/d' < Makefile.in > new +if [ -n "${safe}" -a ! -f .Recover/Makefile.in ] ; then + mv Makefile.in .Recover +fi +mv new Makefile.in + if [ -n "${verbose}" ] ; then echo Looking for signs of \"v9\"... fi diff --git a/Makefile.in b/Makefile.in index 4774c50..d51906e 100644 --- a/Makefile.in +++ b/Makefile.in @@ -974,6 +974,9 @@ GDB_SUPPORT_FILES= $(GDB_SUPPORT_DIRS) .PHONY: setup-dirs-gdb gdb.tar.gz make-gdb.tar.gz setup-dirs-gdb: + $(start-sanitize-Sanitize) + @if [ -f .Sanitize ] ; then echo "RUN Sanitize FIRST!" ; false ; fi ; + $(end-sanitize-Sanitize) ./configure sun4 $(MAKE) clean ./configure -rm sun4 |