Am Montag, dem 08.08.2022 um 10:14 +0200 schrieb jspitzm at gmail.com: > I corrected this for autotools. Something similar probably needs to > be > done for cmake. Actually, I think cmake is already correct. Jürgen