#!/usr/bin/env sh
set -e

if [ -e "./build/keraforge" ]
then
	gdb -q -ex "set debuginfod enabled off" -ex "file ./build/keraforge" -ex "run"
else
	echo ": error: no build available"
	exit 1
fi