> How should this be fixed? Maybe any Makefile target using > $(GCC_FOR_TARGET) should depend on specs as well as on xgcc? That seems like an obvious fix to me.