As reported in
  https://sourceware.org/ml/gdb-patches/2018-05/msg00042.html
some old versions of flex (2.5.4) don't support the --stdout switch.
Use -t, which is an alias.
gdb/ChangeLog:
	* Makefile.in (%.c: %.l): Use -t instead of --stdout.
+2018-05-03  Simon Marchi  <simon.marchi@ericsson.com>
+
+       * Makefile.in (%.c: %.l): Use -t instead of --stdout.
+
 2018-05-03  Pedro Alves  <palves@redhat.com>
 
        * s390-linux-nat.c
 
          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' \