Closed EBatut-ALG closed 7 years ago
This PR is now dependent on https://github.com/milostosic/rdebug/pull/1
I don't know if this dependency can be made explicit on GitHub...
It's possible to make a dependency explicit using git submodules. I do use them but for a private repo that references all of the public ones... For MTuner, it would have to be a separate repo that sets this one and all dependencies as submodules. Dealing with this is in my (low priority) TODO list...
Blind attempt at fixing the CI/Linux build for incoming PRs.