Bug#965946: dolfinx: Runs tests even when "nocheck" is set

[Chris Lamb]

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
     `. `'`      lamby at debian.org / chris-lamb.co.uk
       `-