diff options
Diffstat (limited to 'emulators/vmware3')
-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 0fb87130659c..8a2234881726 100644 --- a/emulators/vmware3/Makefile +++ b/emulators/vmware3/Makefile @@ -85,6 +85,9 @@ pre-patch: .endfor post-patch: +.if ${OSVERSION} >= 500023 + cat ${FILESDIR}/kse.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/ |