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 | ||
Makefile | ||
counter_example.c |