What does it do?
I get still the same unpleasant error message if I try the command "./spatch".
I am not an expert on how the make file works, so I can't really help you.
I imagine a few opportunities for fine-tuning of the configuration script and build documentation.
Regards, Markus _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
