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
wgetinstallation in favor of previously installedcurl. - Use environment variables in the way CI allows you to define them. Both ways work.
- Use the
--toolargument tomk-build-depsto avoid problems in the redirection of theyescommand in a non-interactive terminal (any docker environment invoked without the-itarguments). - Add the
--git-ignore-newflag togbpto allow the command to progress.
Edited by Thomas Downes