cmd_dest/include/xen/.install := /bin/sh scripts/headers_install.sh dest/include/xen ./include/uapi/xen evtchn.h gntalloc.h gntdev.h privcmd.h; /bin/sh scripts/headers_install.sh dest/include/xen ./include/generated/uapi/xen ; touch dest/include/xen/.install
