Revert "Rename .tools to .mystools for Arduino IDE" (#687)

2016-12-11 13:28:37 -08:00
parent 68ce74d11a
commit 1e37f35dc6
12 changed files with 7 additions and 8 deletions
@@ -0,0 +1,12 @@
+#!/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