savedcmd_drivers/clocksource/built-in.a := rm -f drivers/clocksource/built-in.a;  printf "drivers/clocksource/%s " timer-of.o timer-probe.o mmio.o timer-sun4i.o arm_arch_timer.o dummy_timer.o | xargs ar cDPrST drivers/clocksource/built-in.a