diff options
| author | Anh Tuan Phan <tuananhlfc@gmail.com> | 2023-07-16 22:44:56 +0700 |
|---|---|---|
| committer | William Breathitt Gray <william.gray@linaro.org> | 2023-07-24 10:29:52 -0400 |
| commit | aead78125a987f48944bff2001f61df72b95afc4 (patch) | |
| tree | eaa76d1ed4c7be46eceb2d8c7d382b481379b4bb /tools/counter | |
| parent | 272ffb925e2020000863748867d91a2407d3e8e9 (diff) | |
tools/counter: Makefile: Replace rmdir by rm to avoid make,clean failure
Use rm -df instead of rmdir -p since rmdir requires the directory exist
so it causes "make -C tools clean" failed if someone only builds other
tools but not counter.
Fixes: 228354ed692f ("tools/counter: Makefile: Remove lingering 'include' directories on make clean")
Signed-off-by: Anh Tuan Phan <tuananhlfc@gmail.com>
Link: https://lore.kernel.org/r/d4080db5-1825-2848-079a-8bb674d8ee44@gmail.com/
Signed-off-by: William Breathitt Gray <william.gray@linaro.org>
Diffstat (limited to 'tools/counter')
| -rw-r--r-- | tools/counter/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/counter/Makefile b/tools/counter/Makefile index a0f4cab71fe5..b2c2946f44c9 100644 --- a/tools/counter/Makefile +++ b/tools/counter/Makefile @@ -40,7 +40,8 @@ $(OUTPUT)counter_example: $(COUNTER_EXAMPLE) clean: rm -f $(ALL_PROGRAMS) rm -rf $(OUTPUT)include/linux/counter.h - rmdir -p $(OUTPUT)include/linux + rm -df $(OUTPUT)include/linux + rm -df $(OUTPUT)include find $(or $(OUTPUT),.) -name '*.o' -delete -o -name '\.*.d' -delete install: $(ALL_PROGRAMS) |