Actually, cocci.exit is not well adapted to what you want. Cocci.exit is
for the case where you want to abandon work on a single file, eg because
you are working on a whole directory, but find that a given file of that
directory is not promising. If there is a good name for the case of
stopping work on a single file and another good name for stopping
coccinelle completely with an exit code, then I can make the change. But
the latter functionality seems less useful than the former.
The only obvious case I can see where the latter functionality would be
useful is when you use spatch with the -sp option, to have the effect of
an advanced grep. But then you can only specify a matching rule, there is
no opportunity to write script code that might call an exit function.
julia
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
