Merge tag 'v1.94.6' into tod

v1.94.6 Git-EVTag-v0-SHA512: e1afaf08552dd3bc8e20229f4e8e141236a2133ce69cd3c68332e68483fb80a471ac0d7da1eedd6e4b0944b729433ac26e86ec12ef3accc78f86b1331150e185
2026-06-10 18:24:19 +00:00 · 2023-08-17 05:26:05 +02:00
parent 3ea2ee8a76 135a015b6a
commit 8c6973aa26
46 changed files with 1075 additions and 355 deletions
@@ -31,6 +31,11 @@ option('doc',
       type: 'boolean',
       value: true)

+option('installed-tests',
+       description: 'Whether to install the installed tests',
+       type: 'boolean',
+       value: true)
+
 option('tod',
       description: 'Whether to build the TOD library',
       type: 'boolean',