diff options
| author | Marcel Moolenaar <marcel@FreeBSD.org> | 2001-12-06 05:09:21 +0000 |
|---|---|---|
| committer | Marcel Moolenaar <marcel@FreeBSD.org> | 2001-12-06 05:09:21 +0000 |
| commit | eb9f710310c163d0f62eeb8be7e5de99f5686401 (patch) | |
| tree | 28dcf0c8eaec526a0ac71d061bc805d26e0f3f92 /emulators/vmware2/Makefile | |
| parent | Update MASTER_SITES and WWW (diff) | |
Fix -current breakage caused by a type change of pt_entry_t.
Note that the OSVERSION test is inexact. The type change
happened after 500027, but since there's no 500028 yet and
making one specifically for this port is considered overkill
we hope to get away with it.
Submitted by: Munehiro Matsuda <haro@h4.dion.ne.jp>
Approved by: Vladimir N. Silyaev <vsilyaev@mindspring.com>
Coordinated by: Mark Santcroos <marks@ripe.net> :-)
Diffstat (limited to 'emulators/vmware2/Makefile')
| -rw-r--r-- | emulators/vmware2/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/emulators/vmware2/Makefile b/emulators/vmware2/Makefile index 66bcf43a7aa9..4a4ace5aefcd 100644 --- a/emulators/vmware2/Makefile +++ b/emulators/vmware2/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/ |