#!/usr/bin/env bash

SCRIPT_DIR=$(dirname $0)
GIT_ROOT=$(git rev-parse --show-toplevel)

if [[ "$GIT_ROOT" -ef "$PWD" ]]; then
	echo "Cannot run in repository root."
	exit -1
fi

cmake -GNinja -DCEDOS_TEST=y ..
ninja

mkdir -p logs/
QEMU_NOGRAPHIC=1 "${GIT_ROOT}/run.sh" "$PWD/images/cedos.img"

awk '/^##/ {close(out); out="./logs/test" ++n ".log"} out {print > out}' "$PWD/logs/serial.log"

prove -e cat logs/test*.log