> I think the uninstall target can be made much simpler and robust. How do think about to combine also the affected file deletion commands into fewer calls with longer parameter lists if your prefer still to adjust a Make file directly? (I imagine that improvements for other build scripts would be more useful, wouldn't it?)
Regards, Markus _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci