Index: gdb/jit-reader.in |
diff --git a/gdb/jit-reader.in b/gdb/jit-reader.in |
index ccc68e4927796605edebceccd84f740de19d2bd9..3ad521a2a92faa1bb4789cf23863735f7894baad 100644 |
--- a/gdb/jit-reader.in |
+++ b/gdb/jit-reader.in |
@@ -36,6 +36,7 @@ extern "C" { |
#ifdef __cplusplus |
#define GDB_DECLARE_GPL_COMPATIBLE_READER \ |
extern "C" { \ |
+ extern int plugin_is_GPL_compatible (void); \ |
extern int plugin_is_GPL_compatible (void) \ |
{ \ |
return 0; \ |
@@ -44,7 +45,8 @@ extern "C" { |
#else |
-#define GDB_DECLARE_GPL_COMPATIBLE_READER |
+#define GDB_DECLARE_GPL_COMPATIBLE_READER \ |
+ extern int plugin_is_GPL_compatible (void); \ |
extern int plugin_is_GPL_compatible (void) \ |
{ \ |
return 0; \ |