Ulrich Mohr f659f13759 Changing build to -j4 from -j to lessen load on build server		2022-03-03 16:03:06 +01:00
..
Dockerfile	workaround for build regression catch2-v3.0.0-preview4	2022-02-07 15:51:06 +01:00
Jenkinsfile	Changing build to -j4 from -j to lessen load on build server	2022-03-03 16:03:06 +01:00