@@ -0,0 +1,12 @@
+# Uses the Arduino command line interface
+#
+# https://github.com/arduino/Arduino/blob/master/build/shared/manpage.adoc
+
+set -e
+rm -rf w/*
+cp $1.ino w/
+[ -f "converted-assets/$1_assets.h" ] && cp converted-assets/$1_assets.h w/
+cd w/
+# --preserve-temp-files
+time $HOME/arduino-1.8.3/arduino -v --upload $1.ino