Re: Is it OK to add an object file more than once in a Makefile?