#!/bin/bash

set -e # exit if a command fails
set -x # Print commands
set -o pipefail # Will return the exit status of make if it fails

./configure \
	--enable-debug \
	--extra-cflags="-march=native -g -O0 -DXBOX=1" \
	--target-list=i386-softmmu \
	--enable-sdl \
	--disable-cocoa \
	--with-sdlabi=2.0 \
	--disable-curl \
	--disable-vnc \
	--disable-docs \
	--disable-tools \
	--disable-guest-agent \
	--disable-tpm \
	--disable-live-block-migration \
	--disable-replication \
	--disable-capstone \
	--disable-fdt \
	--disable-libiscsi \
	--disable-spice \
	--disable-user \

time make -j4 2>&1 | tee build.log