Closed KrisThielemans closed 3 months ago
allow setting DEVEL_BUILD=ON and skipping the build. The latter is mostly useful when creating a VM.
I've tested this locally so will just merge. sorry.
allow setting DEVEL_BUILD=ON and skipping the build. The latter is mostly useful when creating a VM.