cmake: use -E remove_directory instead of -E rm
The rm command was introduced in 3.17, so let's go with the deprecated remove_directory instead to support e.g. Ubuntu 20.04 LTS.
Closes #240 (closed).
The rm command was introduced in 3.17, so let's go with the deprecated remove_directory instead to support e.g. Ubuntu 20.04 LTS.
Closes #240 (closed).
added paper cut label
assigned to @simonspa
approved this merge request
enabled an automatic merge when the pipeline for 4084c751 succeeds
merged
mentioned in commit e645d255