tree 6a0e9bd83c0567f7f5d6507a2bcec3cacfb48d5a
parent dea247df063f1c12b35b93c0345c70fb99d6ef77
author Thomas Klausner <tk@giga.or.at> 1624026753 +0200
committer Thomas Klausner <tk@giga.or.at> 1624026753 +0200

ga: ctest uses -C, not --config