diff options
author | Marek Olšák <[email protected]> | 2019-06-11 18:27:04 -0400 |
---|---|---|
committer | Marek Olšák <[email protected]> | 2019-06-21 19:00:52 -0400 |
commit | 8ab9f3a857317b6556d4d58cfe9bf4e04192ebf2 (patch) | |
tree | 73cefd7f88d42ef4252a1140f85805f360bc82fb /src/util/disk_cache.c | |
parent | a6bef350ed9a8802f72dc45023f5ec43ae199431 (diff) |
include: update GL headers from the registry
Acked-by: Ilia Mirkin <[email protected]>
Diffstat (limited to 'src/util/disk_cache.c')
-rw-r--r-- | src/util/disk_cache.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/util/disk_cache.c b/src/util/disk_cache.c index bc3becfe535..b14a723c5cd 100644 --- a/src/util/disk_cache.c +++ b/src/util/disk_cache.c @@ -37,6 +37,7 @@ #include <pwd.h> #include <errno.h> #include <dirent.h> +#include <inttypes.h> #include "zlib.h" #include "util/crc32.h" |