From 54256e7954d7efeee53bd1ab4d08d0c772b55f4d Mon Sep 17 00:00:00 2001 From: "Jason A. Harmening" Date: Sat, 29 May 2021 14:45:09 -0700 Subject: [PATCH] Fix userspace build after commit 6d3e78ad6c11 Reported by: jenkins --- sys/sys/mount.h | 2 ++ 1 file changed, 2 insertions(+) diff --git a/sys/sys/mount.h b/sys/sys/mount.h index 684d8c3eb78..6c1cd82ee84 100644 --- a/sys/sys/mount.h +++ b/sys/sys/mount.h @@ -43,6 +43,8 @@ #include #include #include +#else +#include #endif /*