Good catch Jürgen. Jmarc Le 8 août 2022 10:17:25 GMT+02:00, jspitzm at gmail.com a écrit : >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. >