Verified Commit 2e6aaaa3 authored by Ansgar Burchardt's avatar Ansgar Burchardt
Browse files

Use `dunecontrol` from repository (if exists)

This allows using the script for `dune-common` as well.
parent 0caf61b4
Pipeline #562 passed with stages
in 45 minutes and 46 seconds
......@@ -7,8 +7,13 @@ if [[ -n "${DUNECI_OPTS:-}" ]]; then
set -- --opts="${DUNECI_OPTS}" "${@}"
fi
DUNECONTROL=dunecontrol
if [[ -x bin/dunecontrol ]]; then
DUNECONTROL=bin/dunecontrol
fi
set -x
dunecontrol --current "${@}" all
dunecontrol --current make build_tests
${DUNECONTROL} --current "${@}" all
${DUNECONTROL} --current make build_tests
cd build-cmake
duneci-ctest
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment