cmd_linux-headers-install/include/xen/.install := /bin/bash scripts/headers_install.sh ./linux-headers-install/include/xen ./include/uapi/xen privcmd.h evtchn.h gntdev.h gntalloc.h; /bin/bash scripts/headers_install.sh ./linux-headers-install/include/xen ./include/generated/uapi/xen ; touch linux-headers-install/include/xen/.install
