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 15:11:38 +0200 |
commit | cc76e34c10e57cb1a4f7971268a77aad2f24c8ca (patch) | |
tree | add5a62b03b513b7f388ca6c85a2e98200bd6267 /scripts/time.pl | |
parent | 42cd06f7fe49668399a010db8f5d2100e45465a9 (diff) | |
download | upstream-cc76e34c10e57cb1a4f7971268a77aad2f24c8ca.tar.gz upstream-cc76e34c10e57cb1a4f7971268a77aad2f24c8ca.tar.bz2 upstream-cc76e34c10e57cb1a4f7971268a77aad2f24c8ca.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>
Diffstat (limited to 'scripts/time.pl')
0 files changed, 0 insertions, 0 deletions