Small tweak to avoid make depend
generating the dependency file twice
David Dickinson
Branch: micro/avoid_duplicate_dependency_generation
Branch: next
Merged
Merged pull request
Merged in micro/avoid_duplicate_dependency_generation (pull request #90)
Â