Rename .tools to .mystools for Arduino IDE (#686)

* The Arduino IDE considers the .tools directory special and warns if it finds .tools the repo References #672
2016-12-11 22:08:14 +01:00
parent 28e0086291
commit 68ce74d11a
12 changed files with 8 additions and 7 deletions
@@ -1,12 +0,0 @@
-#!/bin/bash
-
-OPTIONS="--quiet                                      \
-	--error-exitcode=1                                  \
-	--force                                             \
-	--enable=style,information                          \
-	--library=avr                                       \
-	--platform="${TOOLCONFIG}"/avr.xml                  \
- 	--includes-file="${TOOLCONFIG}"/includes.cfg	      \
-	--suppressions-list="${TOOLCONFIG}"/suppressions.cfg"
-
-echo $OPTIONS