diff options
| author | Rong Tao <rongtao@cestc.cn> | 2023-04-22 22:27:38 +0800 |
|---|---|---|
| committer | William Breathitt Gray <william.gray@linaro.org> | 2023-05-09 19:17:17 -0400 |
| commit | 228354ed692faa08f40f2630658c0771f77da457 (patch) | |
| tree | b9d2b9697ad3d9d7d812911cbdcddd6d24ad92ae /tools/counter | |
| parent | 6a9a092eb25851e16ecacc04ca2b155635d4e52f (diff) | |
tools/counter: Makefile: Remove lingering 'include' directories on make clean
`make` creates 'include' directories where necessary, so remove them as
appropriate on `make clean`.
Signed-off-by: Rong Tao <rongtao@cestc.cn>
Link: https://lore.kernel.org/r/tencent_F85E314661100B0CE2845EB27E2E2F558C09@qq.com/
Signed-off-by: William Breathitt Gray <william.gray@linaro.org>
Diffstat (limited to 'tools/counter')
| -rw-r--r-- | tools/counter/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/counter/Makefile b/tools/counter/Makefile index 8843f0fa6119..a0f4cab71fe5 100644 --- a/tools/counter/Makefile +++ b/tools/counter/Makefile @@ -40,6 +40,7 @@ $(OUTPUT)counter_example: $(COUNTER_EXAMPLE) clean: rm -f $(ALL_PROGRAMS) rm -rf $(OUTPUT)include/linux/counter.h + rmdir -p $(OUTPUT)include/linux find $(or $(OUTPUT),.) -name '*.o' -delete -o -name '\.*.d' -delete install: $(ALL_PROGRAMS) |