diff options
Diffstat (limited to 'gdb/Makefile.in')
| -rw-r--r-- | gdb/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gdb/Makefile.in b/gdb/Makefile.in index be76928..87d74a7 100644 --- a/gdb/Makefile.in +++ b/gdb/Makefile.in @@ -2500,7 +2500,7 @@ po/$(PACKAGE).pot: force mv $@.new $@ %.c: %.l if [ "$(FLEX)" ] && $(FLEX) --version >/dev/null 2>&1; then \ - $(FLEX) --stdout $< \ + $(FLEX) -t $< \ | sed -e '/extern.*malloc/d' \ -e '/extern.*realloc/d' \ -e '/extern.*free/d' \ |