path: root/ci/compile-tests/bin/coqc-delayed

#!/bin/bash

exec compile-test-start-delayed coqc-delay coqc "$*"