ubuntu-linux-kernel/drivers/tty/serial/8250/.8250_base.o.cmd

cmd_drivers/tty/serial/8250/8250_base.o := rm -f drivers/tty/serial/8250/8250_base.o; arm-linux-gnueabi-ar rcSTPD drivers/tty/serial/8250/8250_base.o drivers/tty/serial/8250/8250_port.o drivers/tty/serial/8250/8250_dma.o