Build: Fix `make build-dev-deps'
Context
As of today, you need to run make build-dev-deps
several time for it to work-ish.
Manually testing the MR
Clone a fresh copy of this repo, and run make build-dev-deps
(after make build-deps
or not, maybe?). It should “just work.” Hopefully.
Checklist
-
Select suitable reviewers using the Reviewers
field below.
Edited by Thomas Letan