Alexander Grund 6fcfe08e06 Split coverage into setup and upload ...

Build is done manually by the regular build.sh script. All we need is the setup (setting of CXXFLAGS etc.) and the upload part.
This allows to easily run multiple build runs (e.g. in different configurations)

Closes #94

2021-11-16 13:27:52 +01:00

536 B

Executable File

Raw Permalink Blame History

View Raw