tree 6f7dbafff8a1fdeb6878d84e32915f268e00350f
parent a770f30ee97fdc4e5ca19401469912b49efa7191
author Gilles Peskine <Gilles.Peskine@arm.com> 1732223199 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1733911694 +0100

Fix `make dir/file` not rebuilding existing files

Running `make library/foo`, `make programs/foo` or `make tests/foo` only
rebuilt the given target if it was not an existing file, because the
toplevel makefile does not know the file's dependencies and thus thought
that every such target had empty dependencies. Fix this by always invoking
make recursively.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>