@echo off
bash.exe flash_openocd407.sh