diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2019-12-15 13:12:46 +0300 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2019-12-15 13:12:46 +0300 |
| commit | e3c81aeff2eae97259df94bc066296432a95ef22 (patch) | |
| tree | fbb3255d832b1e4adb4ecc3a141acae8ecbff7cb /ci/boost/build.py | |
| parent | build: clean up silly cmd line params (diff) | |
| download | cmake-common-e3c81aeff2eae97259df94bc066296432a95ef22.tar.gz cmake-common-e3c81aeff2eae97259df94bc066296432a95ef22.zip | |
ci: minor script enhancements
Diffstat (limited to '')
| -rwxr-xr-x | ci/boost/build.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/ci/boost/build.py b/ci/boost/build.py index fed6b81..63f8e0f 100755 --- a/ci/boost/build.py +++ b/ci/boost/build.py @@ -6,6 +6,9 @@ # Distributed under the MIT License. # This script downloads and builds the Boost libraries. +# It's main utility is being able to download & unpack the Boost distribution +# archive in a cross-platform way + setting the correct --stagedir parameter +# value to avoid name clashes. import argparse from contextlib import contextmanager |