diff options
-rw-r--r-- | lib/replace/wscript | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/replace/wscript b/lib/replace/wscript index da788a114c..f14693d5e3 100644 --- a/lib/replace/wscript +++ b/lib/replace/wscript @@ -75,6 +75,7 @@ def configure(conf): conf.CHECK_TYPE('_Bool', define='HAVE__Bool') conf.CHECK_TYPE('int8_t', 'char') + conf.CHECK_TYPE('uint8_t', 'unsigned char') conf.CHECK_TYPE('int16_t', 'short') conf.CHECK_TYPE('uint16_t', 'unsigned short') conf.CHECK_TYPE('int32_t', 'int') |