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

diff --git a/gdb/Makefile.in b/gdb/Makefile.in
index f70a5f9..ac83fb7 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