Linux kernel bug fix: tools/counter: Makefile: Replace rmdir by rm to avoid make,clean failure
Subsystem: tools (tools/counter/Makefile)
Bug type: unknown, severity: unknown
Files changed: tools/counter/Makefile
Introduced by Rong Tao on 2023-05-09 19:17:17 -0400; fixed by Anh Tuan Phan on 2023-07-24 10:29:52 -0400 (lifetime: 75 days)