Hi, Ian
The error message is this:
```
make[2]: Leaving directory `/usr/src/xen-4.6.0/stubdom/libvmi'
make[1]: Leaving directory `/usr/src/xen-4.6.0/stubdom/libvmi'
DEF_CPPFLAGS="-isystem /usr/src/xen-4.6.0/stubdom/../extras/mini-os/include
-D__MINIOS__ -DHAVE_LIBC -isystem
On Thu, 2016-01-14 at 21:27 +0800, Yukun Du wrote:
Please don't top post and please don't post HTML mails (use plain text
instead).
> Hi, Ian
> The error message is this:
> ```
> make[2]: Leaving directory `/usr/src/xen-4.6.0/stubdom/libvmi'
> make[1]: Leaving directory
