sh: Kill off unused flush_icache_user_range().
[safe/jmp/linux-2.6] / arch / sh / mm / Makefile
1 ifeq ($(CONFIG_SUPERH32),y)
2 include ${srctree}/arch/sh/mm/Makefile_32
3 else
4 include ${srctree}/arch/sh/mm/Makefile_64
5 endif