diff options
author | Emanuele Rocca <ema@debian.org> | 2023-08-24 14:54:02 +0200 |
---|---|---|
committer | Emanuele Rocca <ema@debian.org> | 2023-08-24 15:19:35 +0200 |
commit | d89bb3003e9c78b86e1f0aa69631b117b57a40c6 (patch) | |
tree | 55702583bc2b92076520f427c250176a1e47472b | |
parent | 7b717d947d3746ddf626bd1de93f5797cca63f7c (diff) |
Include cstdint to build with GCC-13
[git-debrebase split: mixed commit: upstream part]
-rw-r--r-- | src/os.h | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -20,6 +20,7 @@ #include <unistd.h> #include <sys/syscall.h> +#include <cstdint> #include <string> #include <list> #include <map> |