|
currently if open_default_makefile() finds a standard makefile it will
print info message but then warn about the same file being "additional."
[nrk mklint master]% ./mklint
./mklint: [info] found standard makefile to use: Makefile (-wmakefile)
./mklint: [warn] found additional standard makefile: Makefile (-wextra-makefile)
this makes it so that it doesn't produce warning about the the makefile
that it already found as "additional."
also declares the default_makefiles pointer as const for good measures.
|
