From: Ondřej Surý Date: Fri, 29 Nov 2019 13:03:29 +0000 (+0100) Subject: Disable no longer useful semantic patches X-Git-Tag: v9.15.7~46^2 X-Git-Url: http://git.ipfire.org/gitweb/?a=commitdiff_plain;h=7a69ac32c9a779fed1c544ca24458ee9913217b0;p=thirdparty%2Fbind9.git Disable no longer useful semantic patches Some semantic patches are meant to be run just once, as they work on functions with changed prototypes. We keep them for reference, but disabled them from the CI to save time. --- diff --git a/cocci/dns_name_dup.spatch b/cocci/dns_name_dup.disabled similarity index 100% rename from cocci/dns_name_dup.spatch rename to cocci/dns_name_dup.disabled diff --git a/cocci/dns_rbtnodechain_init.spatch b/cocci/dns_rbtnodechain_init.disabled similarity index 100% rename from cocci/dns_rbtnodechain_init.spatch rename to cocci/dns_rbtnodechain_init.disabled diff --git a/cocci/isc_mem_create_never_fail.spatch b/cocci/isc_mem_create_never_fail.disabled similarity index 100% rename from cocci/isc_mem_create_never_fail.spatch rename to cocci/isc_mem_create_never_fail.disabled diff --git a/util/merge_copyrights b/util/merge_copyrights index e7ac148edda..b986c6cebc6 100644 --- a/util/merge_copyrights +++ b/util/merge_copyrights @@ -53,7 +53,7 @@ while () { \.hints?\.in$ | # zone files /hints$ | # zone files \.zone$ | # zone files - \.spatch$ | # coccinelle spatch files + /cocci/.* | # coccinelle spatch files \.conf$ | # configuration files \.conf\.in$ | # configuration files \.dir-locals\.el | # emacs local variables