diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2018-06-20 14:27:00 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2018-06-20 14:27:00 +0200 |
commit | 530afc5a6f06c21fc4bcfc40f34497caad08befb (patch) | |
tree | fdd375e5ee9b9d50037ddf23b85229eb8d5e6bd9 /odb/gcc-fwd.hxx | |
parent | 02512f4629d7c6d21947536a2b5499a27d9c8c44 (diff) |
Issues better diagnostics for missing plugin headers
Diffstat (limited to 'odb/gcc-fwd.hxx')
-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 |