On Wed, Aug 14, 2019 at 02:00:23PM +0200, Markus Elfring wrote:
+# This script requires at least spatch
+# version 1.0.4.
How do you think about to avoid the duplicate specification of this
identification?
That is a good idea. I will reduce the patch to
+# This script requires a minimum spatch version.
+SPATCH_REQ_VERSION="1.0.4"
and use $SPATCH_REQ_VERSION when diagnosing this issue further down.
Cheers,
Matthias
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci