mrdudz 6970053023 use rm -r instead of rmdir, and use -f for rm, that makes subsequent runs of "make clean" not fail

2015-07-10 10:43:00 +02:00

1002 B

Raw Blame History

View Raw