Thanks for doing this! On Sat, Feb 14, 2015 at 05:20:48PM +0100, Silvan Jegen wrote: > This commit fixes some typos and reformulates some parts of the > documentation. It also adds some basic formatting to make the text > easier to read. > > Signed-off-by: Silvan Jegen <s.jegen@xxxxxxxxx> > --- > > There are still a few open issues regarding the smatch usage that are not > clear to me and that could be addressed in a later version of this patch: > > * Will the cross function database be used automatically by smatch when > available or do you have to specify the db location somewhere on the > command line when invoking test_kernel.sh? It should be automatic. The database is stored at the base of the kernel source. > * Is it possible to use the build_kernel_data.sh script to rebuild > the data base incrementally or does one need a different command line > invocation in order to do that (if it is indeed possible at all)? It's not possible to do it correctly. I've just pushed a script in smatch_data/db/reload_partial.sh to mostly reload a file. > * I interpreted "Outside of the kernel" to mean "for projects other than > the kernel". Is that actually what is meant here? Yes. I've applied your fixes. Thanks, again. :) regards, dan carpenter -- To unsubscribe from this list: send the line "unsubscribe smatch" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
