use new cmake option #160

Merged

meierj merged 2 commits from mueller/small-rpi-fix into develop

2022-03-01 17:56:18 +01:00

Author	SHA1	Message	Date
Robin Mueller	54fb646ea1	Merge remote-tracking branch 'origin/develop' into mueller/small-rpi-fix Some checks failed EIVE/eive-obsw/pipeline/pr-develop Build started... Details EIVE/eive-obsw/pipeline/head There was a failure building this commit Details	2022-03-01 17:50:33 +01:00
Robin Mueller	27f9c0223c	use new cmake option Some checks failed EIVE/eive-obsw/pipeline/head Build queued... Details EIVE/eive-obsw/pipeline/pr-develop There was a failure building this commit Details	2022-03-01 17:48:05 +01:00