From e5c24a28ad05294ae39f955d05590fed3478dbfb Mon Sep 17 00:00:00 2001
From: Gianluca Sforna <giallu@gmail.com>
Date: Jan 24 2017 22:31:34 +0000
Subject: trigger error if build tries to use network


---

diff --git a/arduino-no-network.patch b/arduino-no-network.patch
index 4d14d1c..d270e05 100644
--- a/arduino-no-network.patch
+++ b/arduino-no-network.patch
@@ -1,5 +1,5 @@
 diff --git a/build/build.xml b/build/build.xml
-index a496252..f4d9305 100644
+index a496252..51a7490 100644
 --- a/build/build.xml
 +++ b/build/build.xml
 @@ -153,7 +153,7 @@
@@ -69,7 +69,19 @@ index a496252..f4d9305 100644
  
      <antcall target="package-library-index-json-bundle"/>
    </target>
-@@ -990,15 +990,18 @@
+@@ -661,7 +661,10 @@
+ 
+   <!-- Retrieve tool -->
+   <target name="untar-unzip-download" depends="untar-unzip-check" unless="${archive_file}_available">
+-    <get src="${archive_url}" dest="${archive_file}" verbose="true" ignoreerrors="true" />
++      <fail>Network access not allowed.
++      Build system tried to download file ${archive_file}.
++      Please add it to RPM spec Sources instead
++    </fail>
+   </target>
+ 
+   <target name="untar-unzip-checksum" depends="untar-unzip-download">
+@@ -990,15 +993,18 @@
    <target name="package-library-index-json-bundle">
      <mkdir dir="${staging_folder}/work/${staging_hardware_folder}/../dist/"/>