Fix Tian remote upload

Author: facchinm

boards.txt

@@ -317,14 +317,15 @@ tian.build.board=SAMD_TIAN
 tian.build.core=arduino
 tian.build.extra_flags=-D__SAMD21G18A__ -mthumb {build.usb_flags}
 tian.build.ldscript=linker_scripts/gcc/flash_with_bootloader.ld
+tian.build.openocdscript=openocd_scripts/arduino_zero.cfg
 tian.build.variant=arduino_mzero
 tian.build.variant_system_lib=
 tian.build.vid=0x2a03
 tian.build.pid=0x8052
 tian.build.preferred_out_format=hex
 tian.bootloader.size=0x4000
 tian.build.emu.mcu=atmega2560
-tian.bootloader.tool=avrdude
+tian.bootloader.tool=openocd-withbootsize
 tian.bootloader.low_fuses=0xff
 tian.bootloader.file=sofia/Sofia_Tian_151118.hex
 tian.drivers=SiliconLabs-CP2105/Silicon Labs VCP Driver.pkg

platform.txt

@@ -126,6 +126,8 @@ tools.avrdude.upload.params.quiet=-q -q
 tools.avrdude.upload.params.noverify=-V
 tools.avrdude.upload.pattern="{cmd}" "-C{config.path}" {upload.verbose} -p{build.emu.mcu} -c{upload.protocol} -P{serial.port} -b{upload.speed} "-Uflash:w:{build.path}/{build.project_name}.hex:i"
 
+tools.avrdude_remote.upload.pattern=/usr/bin/run-avrdude /tmp/sketch.hex
+
 #
 # BOSSA
 #