On Thu, 17 Dec 2009, Alex Carrasco wrote: > Didn't work either :-/ > > I also tried -all_includes and -include_headers but with no success... :(
OK, I will look into it. It is at least supposed to work. For concreteness, could you send a small example. thanks, julia _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
