-
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.
45ff2547