Jérome Perrin
authored
Note that we cannot just use make-targets from the recipe, because make without any target is executed first, and then make ${make-targets} is executed, but in this case we really need to have make depend called first.