Build openocd

project-81 · May 20, 2024 · 57a6a36 · 57a6a36
1 parent e50c54a
commit 57a6a36
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/scripts/sh/install_debian.sh b/scripts/sh/install_debian.sh
@@ -34,6 +34,8 @@ PACKAGES+=(tmux ack htop mtools shellcheck tree xdg-utils)
 
 if is_wsl; then
 	PACKAGES+=(wslu)
+else
+	TASKS+=(openocd)
 fi
 
 if ! is_rpi; then

diff --git a/scripts/sh/install_openocd.sh b/scripts/sh/install_openocd.sh
@@ -12,7 +12,8 @@ if is_debian || is_ubuntu; then
 	install_package automake autoconf texinfo libtool libftdi-dev
 fi
 
-clone_third_party_github_shallow raspberrypi $PROJECT --branch=rp2040
+clone_third_party_github_shallow raspberrypi $PROJECT \
+	--branch=rp2040-v0.12.0 --single-branch --depth 1
 
 safe_pushd "$THIRD_PARTY/$PROJECT"