> 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

Reply via email to