diff options
Diffstat (limited to 'gdb/Makefile.in')
| -rw-r--r-- | gdb/Makefile.in | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/gdb/Makefile.in b/gdb/Makefile.in index 536af332f93..f70a5f972f0 100644 --- a/gdb/Makefile.in +++ b/gdb/Makefile.in @@ -361,7 +361,9 @@ VERSION = 5.0 DIST=gdb LINT=/usr/5bin/lint -LINTFLAGS= $(BFD_CFLAGS) +LINTFLAGS= $(GDB_CFLAGS) $(OPCODES_CFLAGS) $(READLINE_CFLAGS) \ + $(BFD_CFLAGS) $(MMALLOC_CFLAGS) $(INCLUDE_CFLAGS) \ + $(INTL_CFLAGS) RUNTEST = `if [ -f $${rootsrc}/../dejagnu/runtest ] ; then \ echo $${rootsrc}/../dejagnu/runtest ; else echo runtest; \ @@ -1110,6 +1112,9 @@ 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 |