diff options
-rw-r--r-- | gdb/Makefile.in | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/gdb/Makefile.in b/gdb/Makefile.in index f70a5f9..ac83fb7 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 |