diff --git a/dev-tools/install.sh b/dev-tools/install.sh index 17eb6ad4196..ce039f95d7c 100755 --- a/dev-tools/install.sh +++ b/dev-tools/install.sh @@ -19,13 +19,13 @@ cd "$(dirname "$0")" mkdir -p bin -VERSION_CB="2.23.5" +VERSION_CB="2.23.6" VERSION_SC="stable" echo λλλ checkbashisms if [ ! -x bin/checkbashisms ]; then wget -qO- "https://deb.debian.org/debian/pool/main/d/devscripts/devscripts_${VERSION_CB}.tar.xz" \ - | tar -xJv -O devscripts/scripts/checkbashisms.pl \ + | tar -xJv -O "devscripts-${VERSION_CB}/scripts/checkbashisms.pl" \ > bin/checkbashisms chmod u+x bin/checkbashisms fi