Override public.libraries.txt in ART buildbot devices.

Change-Id: Ibdfe16ee70630c69b88de0c67200656c949b46b5
diff --git a/arm_krait/arm_krait.mk b/arm_krait/arm_krait.mk
index 93218da..918d192 100644
--- a/arm_krait/arm_krait.mk
+++ b/arm_krait/arm_krait.mk
@@ -14,6 +14,9 @@
 # limitations under the License.
 #
 
+PRODUCT_COPY_FILES += \
+    art/tools/public.libraries.buildbot.txt:system/etc/public.libraries.txt
+
 $(call inherit-product, build/target/product/core_base.mk)
 
 PRODUCT_NAME := arm_krait
diff --git a/armv8/armv8.mk b/armv8/armv8.mk
index 480e369..bd5ce92 100644
--- a/armv8/armv8.mk
+++ b/armv8/armv8.mk
@@ -14,6 +14,9 @@
 # limitations under the License.
 #
 
+PRODUCT_COPY_FILES += \
+    art/tools/public.libraries.buildbot.txt:system/etc/public.libraries.txt
+
 $(call inherit-product, build/target/product/core_base.mk)
 
 PRODUCT_NAME := armv8
diff --git a/mips32r2_fp_xburst/mips32r2_fp_xburst.mk b/mips32r2_fp_xburst/mips32r2_fp_xburst.mk
index 7b1321e..68c16c3 100644
--- a/mips32r2_fp_xburst/mips32r2_fp_xburst.mk
+++ b/mips32r2_fp_xburst/mips32r2_fp_xburst.mk
@@ -14,6 +14,9 @@
 # limitations under the License.
 #
 
+PRODUCT_COPY_FILES += \
+    art/tools/public.libraries.buildbot.txt:system/etc/public.libraries.txt
+
 $(call inherit-product, build/target/product/core_base.mk)
 
 PRODUCT_NAME := mips32r2_fp_xburst
diff --git a/silvermont/silvermont.mk b/silvermont/silvermont.mk
index 3826aea..079459a 100644
--- a/silvermont/silvermont.mk
+++ b/silvermont/silvermont.mk
@@ -14,6 +14,9 @@
 # limitations under the License.
 #
 
+PRODUCT_COPY_FILES += \
+    art/tools/public.libraries.buildbot.txt:system/etc/public.libraries.txt
+
 $(call inherit-product, build/target/product/core_base.mk)
 
 PRODUCT_NAME := silvermont