Commit 6e0736bf authored by Ansgar Burchardt's avatar Ansgar Burchardt

[!31] duneci-install-module: remove intermediate files

Merge branch 'remove-intermediate-files' into 'master'

ref:docker/ci Removing the intermediate files (mostly \*.o) should make the
Docker images a bit smaller.

See merge request [!31]

  [!31]: gitlab.dune-project.org/docker/ci/merge_requests/31
parents 4c9307b1 7a393c97
......@@ -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