diff --git a/pika-build-config/v3setup.sh b/pika-build-config/v3setup.sh index ba07a4021..57fe63471 100644 --- a/pika-build-config/v3setup.sh +++ b/pika-build-config/v3setup.sh @@ -9,5 +9,5 @@ export DEB_CFLAGS_MAINT_APPEND="-march=x86-64-v3 -O3 -w -DQT_NO_VERSION_TAGGING export DEB_CPPFLAGS_MAINT_APPEND="-march=x86-64-v3 -O3 -w -DQT_NO_VERSION_TAGGING -Wno-incompatible-pointer-types -Wno-error" export DEB_CXXFLAGS_MAINT_APPEND="-march=x86-64-v3 -O3 -w -DQT_NO_VERSION_TAGGING -Wno-incompatible-pointer-types -Wno-error" export DEB_LDFLAGS_MAINT_APPEND="-march=x86-64-v3 -O3 -w -DQT_NO_VERSION_TAGGING" -export DEB_BUILD_OPTIONS="nocheck notest terse" +export DEB_BUILD_OPTIONS="nocheck notest" export DPKG_GENSYMBOLS_CHECK_LEVEL=0