16 lines
848 B
Diff
16 lines
848 B
Diff
--- annobin-13.15.orig/gcc-plugin/annobin.cc 2026-05-14 11:32:48.066553134 +0100
|
|
+++ annobin-13.15/gcc-plugin/annobin.cc 2026-05-14 11:34:32.178999690 +0100
|
|
@@ -3388,9 +3388,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) != 0)
|
|
{
|
|
- 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
|