Ensure we call processName on generated source files
David Dickinson
Branch: micro/tidy_makefile_messages_slightly
Branch: next
Merged
Merged pull request
Merged in micro/tidy_makefile_messages_slightly (pull request #262)
Merged in micro/tidy_makefile_messages_slightly (pull request #262)
and avoid introducing excessive leading whitespace