From b382ff86faa9fb12bcf6ff8d9fadca753a4abf69 Mon Sep 17 00:00:00 2001 From: eabdullin Date: Tue, 5 Nov 2024 20:20:59 +0300 Subject: [PATCH] Add missing file --- ...in-gcc-plugin-ignore-major-version-diffs.patch | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 SOURCES/annobin-gcc-plugin-ignore-major-version-diffs.patch diff --git a/SOURCES/annobin-gcc-plugin-ignore-major-version-diffs.patch b/SOURCES/annobin-gcc-plugin-ignore-major-version-diffs.patch new file mode 100644 index 0000000..b2a91b3 --- /dev/null +++ b/SOURCES/annobin-gcc-plugin-ignore-major-version-diffs.patch @@ -0,0 +1,15 @@ +--- annobin.orig/gcc-plugin/annobin.cc 2024-08-08 12:39:01.928844852 +0100 ++++ annobin-12.65/gcc-plugin/annobin.cc 2024-08-08 12:42:07.333437024 +0100 +@@ -3218,9 +3218,10 @@ plugin_init (struct plugin_name_args * + be sufficient. [FIXME: It turns out that this is not entirely true...] */ + if (strncmp (version->basever, gcc_version.basever, strchr (version->basever, '.') - version->basever)) + { +- annobin_inform (INFORM_ALWAYS, "Error: plugin built for compiler version (%s) but run with compiler version (%s)", ++ annobin_inform (INFORM_ALWAYS, "Warning: plugin built for compiler version (%s) but run with compiler version (%s) - disabling", + gcc_version.basever, version->basever); +- fail = true; ++ enabled = false; ++ return 0; + } + + /* Since the plugin is not part of the gcc project, it is entirely