diff options
Diffstat (limited to 'gdb/Makefile.in')
| -rw-r--r-- | gdb/Makefile.in | 24 |
1 files changed, 17 insertions, 7 deletions
diff --git a/gdb/Makefile.in b/gdb/Makefile.in index 3a4bd37..7593256 100644 --- a/gdb/Makefile.in +++ b/gdb/Makefile.in @@ -1582,14 +1582,24 @@ po/$(PACKAGE).pot: force -rm $@.tmp mv $@.new ./$*.c .l.c: - @if [ "$(FLEX)" ] && $(FLEX) --version >/dev/null 2>&1; then \ - echo $(FLEX) -o$@ $<; \ - $(FLEX) -o$@ $<; \ - elif [ ! -f $@ -a ! -f $< ]; then \ - echo "$< missing and flex not available."; \ - false; \ - elif [ ! -f $@ ]; then \ + if [ "$(FLEX)" ] && $(FLEX) --version >/dev/null 2>&1; then \ + $(FLEX) -o$@ $< && \ + rm -f $@.new && \ + sed -e '/extern.*malloc/d' \ + -e '/extern.*realloc/d' \ + -e '/extern.*free/d' \ + -e '/include.*malloc.h/d' \ + -e 's/malloc/xmalloc/g' \ + -e 's/realloc/xrealloc/g' \ + -e 's/yy_flex_xrealloc/yyxrealloc/g' \ + < $@ > $@.new && \ + rm -f $@ && \ + mv $@.new $@; \ + elif [ -f $@ ]; then \ echo "Warning: $*.c older than $*.l and flex not available."; \ + else \ + echo "$@ missing and flex not available."; \ + false; \ fi .PRECIOUS: ada-exp.c ada-lex.c |