#!/bin/bash
EMACS=${EMACS:-emacs}
${EMACS} -batch -L ${srcdir}/.. -l ${srcdir}/ob-coq-tests.el --eval '(ert-run-tests-batch-and-exit "^ob-coq-test")'
