>> Would you like to take the change possibility into account >> that the coccicheck system configuration should be adapted instead? >> https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/tree/scripts/coccicheck?id=4ea655343ce4180fe9b2c7ec8cb8ef9884a47901#n257 > > I prefer the one line change for now. If more issues arise one can see > what is more desirable at a larger scale.
I got the impression that the script “add_namespace.cocci” should never be automatically called by the current default setting of the tool “coccicheck” also because it requires the input parameter “name space” (SmPL identifier “virtual.ns”). https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/commit/scripts/coccinelle/misc/add_namespace.cocci?id=eb8305aecb958e8787e7d603c7765c1dcace3a2b Would you like to increase your software development attention for efficient system configuration on this issue? Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
