#!/bin/bash

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