> The fix feels hackish and I wonder how other frontends handle this, but > overall thank you for taking care of this peculiarity.
You're welcome. The main Makefile does the same for xgcc -> gcc-cross and, as this example shows, every change is this area is almost guaranteed to break something, so the simpler, the better. -- Eric Botcazou