#!/usr/bin/env bash DIR=$(dirname "${BASH_SOURCE[0]}"). "$DIR"/common.sh"$DUB" run --root "$DIR"/cov-ctfe --build=cov-ctfe