Corrected ticket #162
[openwrt.git] / openwrt / toolchain / kernel-headers / Makefile
index f64d341..9f466d3 100644 (file)
@@ -13,6 +13,7 @@ LINUX_HEADERS_SITE= \
 LINUX_HEADERS_SOURCE=linux-$(LINUX_HEADERS_VERSION).tar.bz2
 LINUX_HEADERS_ARCH:=$(shell echo $(ARCH) | sed -e 's/i[3-9]86/i386/' \
        -e 's/mipseb/mips/' \
+       -e 's/mipsel/mips/' \
        -e 's/powerpc/ppc/' \
        -e 's/sh[234]/sh/' \
        )