diff options
Diffstat (limited to 'emulators/vmware3/Makefile')
| -rw-r--r-- | emulators/vmware3/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/emulators/vmware3/Makefile b/emulators/vmware3/Makefile index 66bcf43a7aa9..4a4ace5aefcd 100644 --- a/emulators/vmware3/Makefile +++ b/emulators/vmware3/Makefile @@ -88,6 +88,9 @@ post-patch: .if ${OSVERSION} >= 500023 cat ${FILESDIR}/kse.patch | (cd ${WRKSRC} && patch) > /dev/null 2>&1 .endif +.if ${OSVERSION} >= 500027 + cat ${FILESDIR}/pmap.patch | (cd ${WRKSRC} && patch) > /dev/null 2>&1 +.endif ${CP} ${FILESDIR}/Makefile ${WRKSRC} ${CP} ${FILESDIR}/Makefile.vmmon ${WRKSRC}/vmmon-only/Makefile ${RM} -rf ${WRKSRC}/vmmon-only/linux/ |