diff options
| author | Emil Velikov <[email protected]> | 2017-08-22 11:39:36 +0100 |
|---|---|---|
| committer | Emil Velikov <[email protected]> | 2017-08-26 11:20:07 +0100 |
| commit | e3962653685fcf7b8a913d4f895b3d0af82fa5b4 (patch) | |
| tree | 11103e0d0d248671aa178f79bf24e4822f948bc6 /include | |
| parent | 98030f92e8007fedde1e457438c3faa1e26cd3d4 (diff) | |
dri_interface.h: add missing stdint.h include
Required for uint32_t and friends.
Signed-off-by: Emil Velikov <[email protected]>
Reviewed-by: Eric Engestrom <[email protected]>
Reviewed-by: Nicolai Hähnle <[email protected]>
Diffstat (limited to 'include')
| -rw-r--r-- | include/GL/internal/dri_interface.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/include/GL/internal/dri_interface.h b/include/GL/internal/dri_interface.h index 0115fd79dc6..1c91bde9203 100644 --- a/include/GL/internal/dri_interface.h +++ b/include/GL/internal/dri_interface.h @@ -48,6 +48,8 @@ typedef unsigned int drm_drawable_t; typedef struct drm_clip_rect drm_clip_rect_t; #endif +#include <stdint.h> + /** * \name DRI interface structures * |