On Thu, Mar 24, 2011 at 10:19 AM, Julia Lawall <[email protected]> wrote: > 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.
You already can to that with either : SPFLAGS="-I foo -timeout 60 -use_glimpse" ./configure org your_project or after ./configure org your_project with SPFLAGS="-I foo -timeout 60 -use_glimpse -D org" make > > julia > _______________________________________________ > Cocci mailing list > [email protected] > http://lists.diku.dk/mailman/listinfo/cocci > (Web access from inside DIKUs LAN only) > -- Nicolas Palix http://sardes.inrialpes.fr/~npalix/ _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
