From bc19d7b57ecec1ffab86ddb1e51d5984e55489a3 Mon Sep 17 00:00:00 2001
From: Martino Facchin <m.facchin@arduino.cc>
Date: Tue, 15 May 2018 10:39:11 +0200
Subject: [PATCH] Copy package_index_bundled to distrib hardware folder

---
 build/build.xml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/build/build.xml b/build/build.xml
index 4670abe7d..ab788bb42 100644
--- a/build/build.xml
+++ b/build/build.xml
@@ -271,6 +271,7 @@
       <param name="final_folder" value="${target.path}/hardware/arduino/avr"/>
       <param name="dest_folder" value="${target.path}/hardware/arduino"/>
     </antcall>
+    <copy file="../hardware/package_index_bundled.json" todir="${target.path}/hardware/" />
   </target>
 
   <!-- - - - - - - - - -->