The source project of this merge request has been removed.
Mostly Fix CI build
This mostly fixes the CI build, though an apparent problem with the actual script remains. There are 3 commits which I've chosen not to squash. They include these changes:
- Eliminate
wget
installation in favor of previously installedcurl
. - Use environment variables in the way CI allows you to define them. Both ways work.
- Use the
--tool
argument tomk-build-deps
to avoid problems in the redirection of theyes
command in a non-interactive terminal (any docker environment invoked without the-it
arguments). - Add the
--git-ignore-new
flag togbp
to allow the command to progress.
Edited by Thomas Downes