tree 5cc28a0bbc8156571199fce68b11e36fcb425c1a
parent a3487d11ea02d3f864babd8080e2805cb9252bfc
author Juan Castillo <juan.castillo@arm.com> 1445510084 +0100
committer Juan Castillo <juan.castillo@arm.com> 1445959500 +0000

Make: fix dependency files generation

Currently, if no make goal is specified in the command line, 'all'
is assumed by default, but the dependency files are not generated.
This might lead to a successful but inconsistent build. This patch
provides a fix to the problem.

Change-Id: I0148719e114dbdbe46f8a57c7d05da7cbc212c92