2005/10/4, Franck <vagabon.xyz@xxxxxxxxx>: > > But since you seem to use SDE, you may as well just use "4ksc" (and > > possibly skip "-msmartmips" as it's implied); similarly for "4ksd". > > Unfortunately documentation on what CPU types are accepted seems to be > > incomplete -- use `gcc -v --help' to see which ones are actually > > available. > > > > maybe something like these are better (I removed last parameter since > it's no more used) ? > > cflags-$(CONFIG_CPU_4KSC) += \ > $(call set_gccflags,4ksc,mips32,4kc,mips32) \ > -Wa,--trap > > cflags-$(CONFIG_CPU_4KSD) += \ > $(call set_gccflags,4ksd,mips32r2,4kec,mips32r2) \ > -Wa,--trap > Actually it would be better to let smartmips options in case we use fallback options: Thanks -- Franck