Remove local change that wasn't supposed to be committed.
This commit is contained in:
parent
5565b5569b
commit
b47218fbce
|
@ -1112,9 +1112,6 @@ lint: $(LINTFILES)
|
||||||
$(LINT) $(INCLUDE_CFLAGS) $(LINTFLAGS) $(LINTFILES) \
|
$(LINT) $(INCLUDE_CFLAGS) $(LINTFLAGS) $(LINTFILES) \
|
||||||
`echo $(DEPFILES) | sed 's/\.o /\.c /g'`
|
`echo $(DEPFILES) | sed 's/\.o /\.c /g'`
|
||||||
|
|
||||||
flint: $(filter-out %.y,$(LINTFILES)) $(DEPFILES:.c=.o)
|
|
||||||
flint co.lnt $(LINTFLAGS) $^
|
|
||||||
|
|
||||||
gdb.cxref: $(SFILES)
|
gdb.cxref: $(SFILES)
|
||||||
cxref -I. $(SFILES) >gdb.cxref
|
cxref -I. $(SFILES) >gdb.cxref
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue