diff options
| -rw-r--r-- | odb/gcc-fwd.hxx | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/odb/gcc-fwd.hxx b/odb/gcc-fwd.hxx index 26727df..1a43a98 100644 --- a/odb/gcc-fwd.hxx +++ b/odb/gcc-fwd.hxx @@ -5,6 +5,12 @@ #ifndef ODB_GCC_FWD_HXX #define ODB_GCC_FWD_HXX +#if __GNUC__ >= 5 +# if !__has_include(<bversion.h>) +# error GCC plugin headers are not installed +# endif +#endif + #include <bversion.h> #if BUILDING_GCC_MAJOR >= 6 |