summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEmanuele Rocca <ema@debian.org>2023-08-24 14:54:02 +0200
committerEmanuele Rocca <ema@debian.org>2023-08-24 15:19:35 +0200
commitd89bb3003e9c78b86e1f0aa69631b117b57a40c6 (patch)
tree55702583bc2b92076520f427c250176a1e47472b
parent7b717d947d3746ddf626bd1de93f5797cca63f7c (diff)
Include cstdint to build with GCC-13
[git-debrebase split: mixed commit: upstream part]
-rw-r--r--src/os.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/os.h b/src/os.h
index 7dd69b8..fd95af9 100644
--- a/src/os.h
+++ b/src/os.h
@@ -20,6 +20,7 @@
#include <unistd.h>
#include <sys/syscall.h>
+#include <cstdint>
#include <string>
#include <list>
#include <map>