savedcmd_drivers/net/ethernet/realtek/built-in.a := rm -f drivers/net/ethernet/realtek/built-in.a;  printf "drivers/net/ethernet/realtek/%s " 8139too.o | xargs ar cDPrST drivers/net/ethernet/realtek/built-in.a