I understand the problem, but I am not sure whether I can fix it without breaking many other things. For the moment, you can just add the definition of __UNUSED__ to standard.h. If it is not possible to solve the problem, I could add the definition to the standard.h of the distribution as well, since I guess this is a common idiom.
julia _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
