On 10/8/2023 7:02 pm, Sebastian Huber wrote: > Document that the build scripts in the testsuites produce a test program. I am sorry but I do not understand this change and why we need it. Is the addition of the target line purely cosmetic? Chris