CONFIGURE_ARGS+= --with-extra-qemuu-configure-args="${QEMU_ARGS}"
SHEBANG_FILES= tools/misc/xencov_split \
tools/misc/xen-ringwatch
USE_GCC= yes
USE_GCC= 4.8
ALL_TARGET= tools docs
INSTALL_TARGET= install-tools install-docs