Update OpenOCD build

ndabas · ndabas · commit 39360e52c441 · 2023-01-27T13:18:08.000Z
diff --git a/config/repositories.json b/config/repositories.json
@@ -14,8 +14,8 @@
       "tree": "1.1.0"
     },
     {
-      "href": "https://github.com/openocd-org/openocd.git",
-      "tree": "v0.12.0-rc2"
+      "href": "https://github.com/raspberrypi/openocd.git",
+      "tree": "rp2040-v0.12.0"
     }
   ]
 }
diff --git a/packages/openocd/build-openocd.sh b/packages/openocd/build-openocd.sh
@@ -4,14 +4,6 @@ set -euo pipefail
 
 BITNESS=$1
 ARCH=$2
-OPENOCD_BRANCH="master"
-
-if [ ! -d openocd ]; then
-  git clone "https://github.com/openocd-org/openocd.git" -b $OPENOCD_BRANCH --depth=1
-else
-  git -C openocd checkout -B $OPENOCD_BRANCH
-  git -C openocd pull --ff-only
-fi
 
 cd openocd
 ./bootstrap
diff --git a/version.txt b/version.txt
@@ -1 +1 @@
-0.3.8
+0.3.9

Original file line number	Diff line number	Diff line change
`@@ -14,8 +14,8 @@`
`14`	`14`	`"tree": "1.1.0"`
`15`	`15`	`},`
`16`	`16`	`{`
`17`		`- "href": "https://github.com/openocd-org/openocd.git",`
`18`		`- "tree": "v0.12.0-rc2"`
	`17`	`+ "href": "https://github.com/raspberrypi/openocd.git",`
	`18`	`+ "tree": "rp2040-v0.12.0"`
`19`	`19`	`}`
`20`	`20`	`]`
`21`	`21`	`}`