#! /bin/bash
. build_config.sh
export PIKA_BUILD_ARCH="amd64-v3"
export PIKA_PBUILDER_INIT="pika-pbuilder-amd64-normal-init"
export PIKA_PBUILDER_BUILD="pika-pbuilder-amd64-normal-build"
export DEBIAN_FRONTEND="noninteractive"
export DPKG_GENSYMBOLS_CHECK_LEVEL=0
