Fix device_info for factory.
Change-Id: I5817e6afef2707d054099009d0fd38fe3abe11ae
diff --git a/build.sh b/build.sh
index 626e6f8..cf928cd 100755
--- a/build.sh
+++ b/build.sh
@@ -113,6 +113,8 @@
#cp -f out/bin/* $1/bin
[ -f out/bin/at ] && cp -f out/bin/at $1/bin
[ -f out/bin/device_info_generate ] && cp -f out/bin/device_info_generate $1/..
+ [ -f out/bin/device_info ] && cp -f out/bin/device_info $1/bin
+ [ -f out/bin/mbtk_mdio ] && cp -f out/bin/mbtk_mdio $1/bin
[ -f out/bin/mbtk_gnssd ] && cp -f out/bin/mbtk_gnssd $1/bin
[ -f out/bin/aboot-tiny ] && cp -f out/bin/aboot-tiny $1/bin