Package: dolfinx Version: 2019.2.0~git20200420.6043d6d-6 Severity: normal Hi,
It appears that dolfinx still runs its tests, even when the "nocheck" build profile is enabled: export DEB_BUILD_OPTIONS="nocheck parallel=9" export DEB_BUILD_PROFILES="nocheck " 407s make[2]: Entering directory '/home/lamby/temp/cdt.20200721103908.f6kwfR1IFs.repro.dolfinx/build-a/dolfinx-2019.2.0~git20200420.6043d6d/obj-x86_64-linux-gnu-real/runtests-demo-real' 407s Running tests... 407s /usr/bin/ctest --force-new-ctest-process 407s Test project /home/lamby/temp/cdt.20200721103908.f6kwfR1IFs.repro.dolfinx/build-a/dolfinx-2019.2.0~git20200420.6043d6d/obj-x86_64-linux-gnu-real/runtests-demo-real 407s Start 1: demo_poisson_mpi_2 407s 1/6 Test #1: demo_poisson_mpi_2 ............... Passed 0.39 sec 407s Start 2: demo_poisson_mpi_3 408s 2/6 Test #2: demo_poisson_mpi_3 ............... Passed 0.43 sec 408s Start 3: demo_poisson_serial 408s 3/6 Test #3: demo_poisson_serial .............. Passed 0.42 sec Regards, -- ,''`. : :' : Chris Lamb `. `'` la...@debian.org / chris-lamb.co.uk `-