Skip to content

Properly clear out boost directory when building Docker image

Arndt, Daniel requested to merge github/fork/aprokop/clean_boost_build_docker into master

Created by: aprokop

Building boost did not use SCRATCH_DIR, and there was no cd ... So when rm -rf boost* was executed, we were still inside /boost. This commit changes it to approach used when building all other tpls, and blows away SCRATCH_DIR at the end.

Merge request reports