#!/bin/bash

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