Merge pull request #1201 from Kijewski/exclusive-make-clean
make: make clean usable together with `-j`dev/timer
commit
9f40d019e3
Loading…
Reference in New Issue
make: make clean usable together with `-j`dev/timer