Closed MichelZ closed 4 years ago
Improve build script preventing non-working options
can you update your PR I merged #259 and run the build again?
@SebastianSchuetze done
PR Summary
Improve build script preventing non-working options
PR Checklist