diff options
| author | Willy Tarreau <w@1wt.eu> | 2022-05-28 17:45:45 +0200 |
|---|---|---|
| committer | Paul E. McKenney <paulmck@kernel.org> | 2022-06-20 18:43:19 +0200 |
| commit | fe20cad47e6c79febd323c8db0a1f85896acbcdd (patch) | |
| tree | c27a1092f8b2e3ac25c00eafdfbd3715d09dabc7 /tools/Makefile | |
| parent | tools/nolibc: fix the makefile to also work as "make -C tools ..." (diff) | |
| download | linux-fe20cad47e6c79febd323c8db0a1f85896acbcdd.tar.xz linux-fe20cad47e6c79febd323c8db0a1f85896acbcdd.zip | |
tools/nolibc: make the default target build the headers
The help in "make -C tools" enumerates nolibc as a valid target so we
must at least make it do something. Let's make it do the equivalent
of "make headers" in that it will prepare a sysroot with the arch's
headers, but will not install the kernel's headers. This is the
minimum some tools will need when built with a full-blown toolchain
anyway.
Signed-off-by: Willy Tarreau <w@1wt.eu>
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
Diffstat (limited to 'tools/Makefile')
| -rw-r--r-- | tools/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/Makefile b/tools/Makefile index c074e42fd92f..e497875fc7e3 100644 --- a/tools/Makefile +++ b/tools/Makefile @@ -78,6 +78,9 @@ bpf/%: FORCE libapi: FORCE $(call descend,lib/api) +nolibc: FORCE + $(call descend,include/nolibc) + nolibc_%: FORCE $(call descend,include/nolibc,$(patsubst nolibc_%,%,$@)) |