mirage/mirage-platform — pull request #101 by paurkedal (2014-07-29 20:13:47+00:00)
Title: Fix querying of location of mirage-xen.

As requested in issue #100, including a similar fix to scripts/mir-xen-build.

Cheers,
Petter