diff --git a/fetch.sh b/fetch.sh index 5ce3799da..f9a5db613 100755 --- a/fetch.sh +++ b/fetch.sh @@ -21,7 +21,8 @@ fi mkdir -p ./output # -for bin_pkg in $(apt showsrc "$PIKA_PACKAGE_VERSION" | grep -E "^Binary:" | cut -d":" -f2- | sed 's/\,/\n/g' | sed 's/\ /\n/g' | sed '/^$/d') +BIN_PACKAGE_NAME_LIST=$(apt showsrc "$PIKA_PACKAGE_NAME" | grep -E "^Binary:" | cut -d":" -f2- | sed 's/\,/\n/g' | sed 's/\ /\n/g' | sed '/^$/d') +for bin_pkg in $BIN_PACKAGE_NAME_LIST do BIN_VERSION=$(apt show $bin_pkg:$PIKA_BIN_ARCH 2>&1 | grep Version: | head -n1 | cut -f2- -d":" | cut -f2- -d":" | tr -d ' ') TARGET_VERSION=$(echo $BIN_VERSION | sed 's/\+b.*//')