ia64: don't do IA64_CMPXCHG_DEBUG without CONFIG_PRINTK
[platform/kernel/linux-rpi.git] / arch / ia64 / Kbuild
1 # SPDX-License-Identifier: GPL-2.0-only
2 obj-y                           += kernel/ mm/
3 obj-$(CONFIG_IA64_SGI_UV)       += uv/