diff options
| -rw-r--r-- | include/Support/DataTypes.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/include/Support/DataTypes.h b/include/Support/DataTypes.h index 39939d6d0a..4904bb31da 100644 --- a/include/Support/DataTypes.h +++ b/include/Support/DataTypes.h @@ -30,6 +30,10 @@ // happening when system headers or C++ STL headers include stdint.h before // we define it here, we define it on the g++ command line (in Makefile.rules). +#ifdef HAVE_STDINT_H +#include <stdint.h> +#endif + #ifdef HAVE_INTTYPES_H #include <inttypes.h> #endif |