Re: MAKECMDGOALS and spaces

[Sébastien Hinderer]

Many thanks for your feedback, Eli. I'll definitely keep it in mind
because that's what seems the easiest to integrate given the environment
we already have.

Best wishes,

Sébastien.