On Thu, 24 Mar 2011, Sylvestre Ledru wrote: > Hello, > > I would like to report an issue with coccicheck. > I guess it is because it is for now too dedicated to the kernel usages. > > This script is wrongly assuming that all projects have a > SRC/include/ directory. > > In bin/update_result_tree, I can see: > echo "INC?=$PROJECT/include" >> $RESULTS/$f.sh > > I should be able to customize it.
I will see about making it possible to specify arguments to coccicheck that should be forwarded to spatch. The spatch argument is -I with the name of the include directory. You can specify any number of -I arguments. julia _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
