#! /bin/bash export PIKA_BUILD_ARCH="amd64-v3" export DEBIAN_FRONTEND="noninteractive" export DEB_BUILD_OPTIONS="nocheck notest terse" export DPKG_GENSYMBOLS_CHECK_LEVEL=0