1cmd_drivers/char/ipmi/built-in.a := echo >/dev/null; rm -f drivers/char/ipmi/built-in.a; /usr/bin/ccache /home/test/workspace/code/optee_3.16/build/../toolchains/aarch64/bin/aarch64-linux-gnu-ar cDPrST drivers/char/ipmi/built-in.a drivers/char/ipmi/ipmi_dmi.o drivers/char/ipmi/ipmi_plat_data.o 2