From 5f876d5ea9c78325051c4833e871202998a42826 Mon Sep 17 00:00:00 2001
From: Michal Moskal <michal@moskal.me>
Date: Thu, 19 Jan 2017 17:24:03 +0000
Subject: [PATCH] Add openocd script (for pxt gdb)

---
 pxtarget.json | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/pxtarget.json b/pxtarget.json
index 1f96da71..62329098 100644
--- a/pxtarget.json
+++ b/pxtarget.json
@@ -28,6 +28,7 @@
         "deployDrives": "(MICROBIT|MBED)",
         "driveName": "MICROBIT",
         "hexMimeType": "application/x-microbit-hex",
+        "openocdScript": "source [find interface/cmsis-dap.cfg]; source [find target/nrf51.cfg]",
         "upgrades": [
             {
                 "type": "package",
@@ -338,4 +339,4 @@
             }
         }
     }
-}
\ No newline at end of file
+}