Fix userspace build after commit 6d3e78ad6c

Reported by: jenkins
2021-05-29 14:45:09 -07:00 · 2021-05-29 14:45:09 -07:00 · 54256e7954
commit 54256e7954
parent 6d3e78ad6c
1 changed files with 2 additions and 0 deletions
--- a/sys/sys/mount.h
+++ b/sys/sys/mount.h
@ -43,6 +43,8 @@
 #include <sys/tslog.h>
 #include <sys/_mutex.h>
 #include <sys/_sx.h>
+#else
+#include <stdbool.h>
 #endif

 /*