diff options
author | Masahiro Yamada <masahiroy@kernel.org> | 2019-12-04 11:51:48 +0900 |
---|---|---|
committer | Masahiro Yamada <masahiroy@kernel.org> | 2019-12-09 10:08:21 +0900 |
commit | cf6b58ab2d55f5a143c88c219c8e66ff0720fa69 (patch) | |
tree | 037784e85243e566a741f92b61263c2f64254e51 /lib/mpi | |
parent | e42617b825f8073569da76dc4510bfa019b1c35a (diff) |
kbuild: fix 'No such file or directory' warning when cleaning
Since commit fcbb8461fd23 ("kbuild: remove header compile test"),
'make clean' with O= option in the pristine source tree emits
'No such file or directory' warning.
$ git clean -d -f -x
$ make O=foo clean
make[1]: Entering directory '/home/masahiro/linux/foo'
find: ‘usr/include’: No such file or directory
make[1]: Leaving directory '/home/masahiro/linux/foo'
Fixes: fcbb8461fd23 ("kbuild: remove header compile test")
Reported-by: kbuild test robot <lkp@intel.com>
Signed-off-by: Masahiro Yamada <masahiroy@kernel.org>
Diffstat (limited to 'lib/mpi')
0 files changed, 0 insertions, 0 deletions