diff options
| author | CHOI Junho <cjh@FreeBSD.org> | 2001-05-31 06:07:31 +0000 |
|---|---|---|
| committer | CHOI Junho <cjh@FreeBSD.org> | 2001-05-31 06:07:31 +0000 |
| commit | c738796b0ad1a843c0e1fc4a6608f2202067bc15 (patch) | |
| tree | 1cb808584a6e35fc0908a1c438ad2939336af29e /emulators/vmware3 | |
| parent | caa8a3b243f8a6ad5abcc4aaa9100a62c4ff3741 (diff) | |
Notes
Diffstat (limited to 'emulators/vmware3')
| -rw-r--r-- | emulators/vmware3/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/emulators/vmware3/Makefile b/emulators/vmware3/Makefile index dfb194f3006e..65c2ec470e3f 100644 --- a/emulators/vmware3/Makefile +++ b/emulators/vmware3/Makefile @@ -98,6 +98,10 @@ post-patch: ${WRKSRC}/vmmon-only/freebsd/*.c .endif cd ${WRKSRC}/vmmon-only/freebsd && ${TOUCH} bus_if.h device_if.h +.if ${OSVERSION} >= 500018 + ${PERL} -i -pe 's,<sys/lock\.h>,<sys/mutex.h>,' \ + ${WRKSRC}/vmmon-only/freebsd/*.c +.endif setoptions: ${SED} -e 's;@@PREFIX@@;${PREFIX};' \ |