3 Commits

Author	SHA1	Message	Date
Alexander Grund	fe7937d52b	Fix quoting in shell scripts	2025-02-11 09:05:32 +01:00
Alexander Grund	1d6081d414	Make shebangs consistent	2024-12-19 10:16:04 +01:00
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