savedcmd_drivers/clocksource/built-in.a := rm -f drivers/clocksource/built-in.a;  printf "drivers/clocksource/%s " timer-of.o timer-probe.o sh_cmt.o renesas-ostm.o sh_tmu.o mmio.o timer-ti-dm.o dw_apb_timer.o dw_apb_timer_of.o timer-rockchip.o timer-sun4i.o timer-tegra.o timer-tegra186.o exynos_mct.o timer-mediatek.o timer-mediatek-cpux.o timer-owl.o timer-sprd.o timer-npcm7xx.o arm_arch_timer.o timer-sp804.o dummy_timer.o timer-imx-sysctr.o | xargs ar cDPrST drivers/clocksource/built-in.a