duneci-install-module: remove intermediate files

Removing the intermediate files (mostly *.o) should make the Docker
images a bit smaller.
parent 4c9307b1
......@@ -99,3 +99,5 @@ fi
)
dunecontrol --opts="${opts}" "${@}" --only="${module}" all
find "${module}/build-cmake" -name CMakeFiles -exec rm -rf -- "{}" +
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment