Some new features:

* -cache_prefix option: spatch has a -use_cache option that indicates that 
abstract syntax trees generated by parsing should be cached for use with 
subsequent runs of spatch.  -cache_prefix dir indicates the name of the 
directory in which these abstract syntax trees should be cached.  Giving 
the option -cache_prefix implicitly sets -use_cache.  This is useful when
you don't want to clutter up your source code repository with a lot of 
(very large) abstract syntax tree files.

* Coccilib.exit() and cocci.exit() allow aborting the treatment of the 
current file from within ocaml or python code, respectively.

julia
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)

Reply via email to