diff options
| author | Thomas Petazzoni <thomas.petazzoni@free-electrons.com> | 2016-09-22 12:39:40 +0200 |
|---|---|---|
| committer | Thomas Petazzoni <thomas.petazzoni@free-electrons.com> | 2016-09-22 12:39:40 +0200 |
| commit | affaea4b0516f28d5fce0b27fc2aba3b33b110c1 (patch) | |
| tree | 8ca9bd995748c3b66cac77e868f9a4321fcc41ae /DEVELOPERS | |
| parent | 73a640160641f6096a9e65984f5a862627b9a187 (diff) | |
linux-tools: fix include path
The .mk files in linux-tools are named linux-tool-*.mk, not
linux-ext-*.mk.
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
Diffstat (limited to 'DEVELOPERS')
0 files changed, 0 insertions, 0 deletions