Yikes: MAKECMDGOALS, what a hack. Note, this will fail if the person does make some-target mlyacc.cm some-other-target and the like.