remove tools folder

facchinm · facchinm · commit 5ee33e205463 · 2015-10-12T12:01:58.000+02:00
diff --git a/.gitmodules b/.gitmodules
@@ -1,3 +0,0 @@
-[submodule "arduino"]
-	path = arduino
-	url = https://github.com/facchinm/arduino-flash-tools
diff --git a/arduino b/arduino
diff --git a/compile_webidebridge.sh b/compile_webidebridge.sh
@@ -32,7 +32,7 @@ createZipEmbeddableFileArduino()
     cp fakecerts/*.pem arduino/
 	mv arduino/arduino/tools* arduino/arduino/tools
 	cd arduino
-	zip -r arduino.zip arduino/* config.ini *.pem > /dev/null
+	zip -r arduino.zip config.ini *.pem > /dev/null
 	cd ..
 	#cat arduino/arduino.zip >> $3
 	#zip  --adjust-sfx $3

Original file line number	Diff line number	Diff line change
`@@ -1,3 +0,0 @@`
`1`		`-[submodule "arduino"]`
`2`		`- path = arduino`
`3`		`- url = https://github.com/facchinm/arduino-flash-tools`