#!/bin/sh

set -e

testdir=${AUTOPKGTEST_TMP}
cp tests/* ${testdir}
cp debian/tests/dune-project ${testdir}
cd ${testdir}

dune runtest --release
