savedcmd_arch/x86/entry/vdso/built-in.a := rm -f arch/x86/entry/vdso/built-in.a; printf "arch/x86/entry/vdso/%s " vma.o extable.o vdso-image-64.o vdso-image-32.o vdso32-setup.o | xargs ar cDPrST arch/x86/entry/vdso/built-in.a