-
Ansgar Burchardt authored
Otherwise no opts file is used at all and the code is built without any optimization, leading to timeouts in tests.
Otherwise no opts file is used at all and the code is built without any optimization, leading to timeouts in tests.