savedcmd_drivers/block/built-in.a := rm -f drivers/block/built-in.a;  printf "drivers/block/%s " nbd.o virtio_blk.o xen-blkfront.o | xargs ar cDPrST drivers/block/built-in.a