ubuntu-linux-kernel/drivers/char/ipmi/.built-in.o.cmd

cmd_drivers/char/ipmi/built-in.o :=  rm -f drivers/char/ipmi/built-in.o; arm-linux-gnueabi-ar rcSTPD drivers/char/ipmi/built-in.o