diff --git a/main.sh b/main.sh index a29e0278a..8c0859622 100755 --- a/main.sh +++ b/main.sh @@ -6,6 +6,8 @@ set -e VERSION="$PIKA_PACKAGE_VERSION" +echo "$PIKA_BUILD_ARCH" > pika-build-arch + apt-get source "$PIKA_PACKAGE_NAME=$VERSION" -y if [ "$PIKA_REBUILD" = true ] ; then diff --git a/pika-build-config/lto.sh b/pika-build-config/lto.sh index b13e08d75..9eadfb7b0 100644 --- a/pika-build-config/lto.sh +++ b/pika-build-config/lto.sh @@ -2,4 +2,4 @@ export PIKA_PACKAGE_VERSION="1:3.5.1-12" export PIKA_PACKAGE_NAME="amanda" export PIKA_PACKAGE_PATCH=false export PIKA_REBUILD=false -export PIKA_REBUILD_VERSION="b3" +export PIKA_REBUILD_VERSION="b2"