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

#!/bin/bash

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