From b47218fbcec5b0e39dbb99d0624da8f36c57ddb9 Mon Sep 17 00:00:00 2001
From: "J.T. Conklin" <jtc@acorntoolworks.com>
Date: Wed, 7 Mar 2001 03:00:33 +0000
Subject: [PATCH] Remove local change that wasn't supposed to be committed.

---
 gdb/Makefile.in | 3 ---
 1 file changed, 3 deletions(-)

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