diff --git a/gdb/Makefile.in b/gdb/Makefile.in
index f70a5f972f..ac83fb7b1d 100644
--- 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