| 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;                                   \ | 
|  |