mirror of
https://github.com/torvalds/linux.git
synced 2024-11-29 15:41:36 +00:00
aead78125a
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:
|
||
---|---|---|
.. | ||
.gitignore | ||
Build | ||
counter_example.c | ||
Makefile |