make mrproper not resetting kernel saved arch

[Ben Dooks]

Having accidentally configured for the wrong arch, I tried going back to ARM
but got the following errro:

Makefile:210: *** ARCH changed from "x86_64" to "arm". Use "make mrproper" to fix it up.  Stop.

Trying to do 'make mrproper' repeats the error:

$ make mrproper
Makefile:210: *** ARCH changed from "x86_64" to "arm". Use "make mrproper" to fix it up.  Stop.

I ended up doing 'rm -r include/generated' to get rid of this.

My makefile understanding isn't good enough to repair this, so can someone
please fix this.

-- 
Ben (ben@xxxxxxxxx, http://www.fluff.org/)

  'a smiley only costs 4 bytes'
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/