fix Raspberry Pi build

2023-09-10 13:52:49 -07:00
parent 66ca3ed6dd
commit e64fa10a58
2 changed files with 2 additions and 4 deletions
@@ -3,6 +3,7 @@
 #include <signal.h>
 #include <string.h>

+#include <mutex>
 #include <phosg/Filesystem.hh>
 #include <phosg/JSON.hh>
 #include <phosg/Math.hh>