Remove local change that wasn't supposed to be committed.

diff --git a/gdb/Makefile.in b/gdb/Makefile.in
index f70a5f972f08295db475d1566dc96ab59bdf2b4e..ac83fb7b1d0b3f57fb0f033d18a7b159b30bb839 100644 (file)
--- a/gdb/Makefile.in
+++ b/gdb/Makefile.in
@@ -1112,9 +1112,6 @@ lint: $(LINTFILES)
        $(LINT) $(INCLUDE_CFLAGS) $(LINTFLAGS) $(LINTFILES) \
           `echo $(DEPFILES) | sed 's/\.o /\.c /g'`
 
-flint:  $(filter-out %.y,$(LINTFILES)) $(DEPFILES:.c=.o)
-       flint co.lnt $(LINTFLAGS) $^
-
 gdb.cxref: $(SFILES)
        cxref -I. $(SFILES) >gdb.cxref