From 1a449272a3ca933ba3b0b7aa4fa4c86d8180fe96 Mon Sep 17 00:00:00 2001
From: Brooks Davis <brooks@FreeBSD.org>
Date: Sun, 8 Apr 2018 17:10:32 +0000
Subject: [PATCH] Fix LINT (and static COMPAT_LINUX32) after r332122.

---
 sys/amd64/linux32/linux32_machdep.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/sys/amd64/linux32/linux32_machdep.c b/sys/amd64/linux32/linux32_machdep.c
index 6e1b946f94d3..ce06be57e9fa 100644
--- a/sys/amd64/linux32/linux32_machdep.c
+++ b/sys/amd64/linux32/linux32_machdep.c
@@ -33,6 +33,8 @@
 #include <sys/cdefs.h>
 __FBSDID("$FreeBSD$");
 
+#include "opt_compat.h"
+
 #include <sys/param.h>
 #include <sys/capsicum.h>
 #include <sys/clock.h>