Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Do not mention Makefile as dependency
When editing the makefile one will be aware of the consequences and be ready to manually clean. Many changed to a makefile will be to add targets, not to fiddle with compile-flags and in that situation it is unnecessary to re-build all.
- Loading branch information