Fix package type

2017-05-04 00:53:07 +03:00 · 2017-05-04 00:53:07 +03:00 · 0f8030d1d1
parent 05928d2aab
commit 0f8030d1d1
1 changed files with 1 additions and 1 deletions
--- a/platform.json
+++ b/platform.json
@ -81,7 +81,7 @@
      "version": "~1.0.0"
    },
    "tool-openocd": {
-      "type": "debug",
+      "type": "debugger",
      "optional": true,
      "version": "~1.1000.0"
    }