[S390] Make sure enabled wait psw is loaded in default_idle.
[linux-2.6] / arch / x86 / mm / Makefile
1 ifeq ($(CONFIG_X86_32),y)
2 include ${srctree}/arch/x86/mm/Makefile_32
3 else
4 include ${srctree}/arch/x86/mm/Makefile_64
5 endif