tree 643098ec7f8ab7bac001738f61f69597dc005b34
parent 5ecf75fd4ef6208775258dfeee5e58fb1c9e0b43
author David Brazdil <dbrazdil@google.com> 1564486781 +0100
committer David Brazdil <dbrazdil@google.com> 1564497606 +0100

Add depfile for linux targets

Linux tree did not use to specify any sources and would therefore never
be rebuilt after first build. Add a script which generates a depfile for
the tree and use it for a target that linux targets depend on.

Test: make ; touch third_party/linux/README; make (should recompile); \
      make (should not recompile)
Change-Id: Id0a06be73de2ed31c52f1697ac00f7d45425b43b