nestedvm build fixes
authorbrian <brian@brianweb.net>
Tue, 6 Jul 2004 03:45:08 +0000 (03:45 +0000)
committerbrian <brian@brianweb.net>
Tue, 6 Jul 2004 03:45:08 +0000 (03:45 +0000)
commit6fac59a17e4646aa7799253d5da777b43ba9099e
tree59e4a53a8e11d2f3f7950559eba95c722f3e0415
parent76982fccac3c46ccc47621dd22dc0c96b6b9cd62
nestedvm build fixes

darcs-hash:20040706034508-24bed-abba2aec71cfb1a659c6dd92e180833cb2b115f5.gz
Makefile