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 /include/sound | |
| 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 'include/sound')
0 files changed, 0 insertions, 0 deletions