> When using target specific MCFLAGS they should occur on the command line > last so that they override any previous settings, including those set by > EXTRA_MCFLAGS. That change looks OK. Zoltan.