diff options
| author | Matt Merhar <mattmerhar@protonmail.com> | 2021-02-25 23:28:53 -0500 |
|---|---|---|
| committer | Hauke Mehrtens <hauke@hauke-m.de> | 2021-05-23 16:10:59 +0200 |
| commit | 0b0e97853a1ba4544185afb030aad81b38321c56 (patch) | |
| tree | 50f7079d296fc8c391789e586ec37a44fe9016b4 /tools | |
| parent | d5ea756c3e906eefba9800bef579337a88a1f4b5 (diff) | |
| download | upstream-0b0e97853a1ba4544185afb030aad81b38321c56.tar.gz upstream-0b0e97853a1ba4544185afb030aad81b38321c56.tar.bz2 upstream-0b0e97853a1ba4544185afb030aad81b38321c56.zip | |
kernel-defaults: fix external kernel build when user_headers is missing
Use an 'if' so the absence of $(LINUX_DIR)/user_headers doesn't make the
line evaluate to false and cause the build to fail.
Signed-off-by: Matt Merhar <mattmerhar@protonmail.com>
(cherry picked from commit cc76e34c10e57cb1a4f7971268a77aad2f24c8ca)
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions