diff --git a/fetch.sh b/fetch.sh index 765640f9f..e8414e858 100755 --- a/fetch.sh +++ b/fetch.sh @@ -4,6 +4,10 @@ set -e . ./pika-build-config.sh +VERSION="$PIKA_PACKAGE_VERSION" + +echo "$PIKA_BUILD_ARCH" > pika-build-arch + if [[ $PIKA_BUILD_ARCH == "amd64-v3" ]] then export PIKA_BIN_ARCH="amd64"