diff --git a/dist/tools/openocd/openocd.sh b/dist/tools/openocd/openocd.sh index 3fcbb6fee524ffb67492dce6e7068a36f9b20042..babf0bb224c445ed9899fa7ee72dadba5840d8dd 100755 --- a/dist/tools/openocd/openocd.sh +++ b/dist/tools/openocd/openocd.sh @@ -162,7 +162,6 @@ do_flash() { -c 'reset halt' \ ${OPENOCD_PRE_FLASH_CMDS} \ -c 'flash write_image erase \"${IMAGE_FILE}\" ${IMAGE_OFFSET} ${IMAGE_TYPE}' \ - -c 'reset halt' \ ${OPENOCD_PRE_VERIFY_CMDS} \ -c 'verify_image \"${IMAGE_FILE}\"' \ -c 'reset run' \