diff options
author | Jerry Jelinek <jerry.jelinek@joyent.com> | 2020-06-24 13:51:08 +0000 |
---|---|---|
committer | Jerry Jelinek <jerry.jelinek@joyent.com> | 2020-06-24 13:51:08 +0000 |
commit | d42bed23fc6e1abe7be5427a93275f96589d9f79 (patch) | |
tree | ce0e72a7362bf395b9c5e203800121b505e59084 | |
parent | 2a60785665a571597ad245604f125a60b3d1277e (diff) | |
download | illumos-joyent-d42bed23fc6e1abe7be5427a93275f96589d9f79.tar.gz |
12869 bhyve kernel/user split should be clearer [fix broken build]
-rw-r--r-- | usr/src/uts/i86pc/sys/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/usr/src/uts/i86pc/sys/Makefile b/usr/src/uts/i86pc/sys/Makefile index 3d8332a930..f478485934 100644 --- a/usr/src/uts/i86pc/sys/Makefile +++ b/usr/src/uts/i86pc/sys/Makefile @@ -72,7 +72,6 @@ CHKHDRS= \ NOCHKHDRS= \ vmm.h \ vmm_dev.h \ - vmm_impl.h \ vmm_instruction_emul.h HDRS= \ |