diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2020-01-01 03:56:07 +0300 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2020-01-01 04:08:17 +0300 |
| commit | aaf52cd2c859fe8047f9058d3043d9eba783042b (patch) | |
| tree | 7b51a6695b5572163943eb2f5f7f823d0e2da4eb /ci/build.py | |
| parent | toolchains/boost: add *.exe toolchains (diff) | |
| download | cmake-common-aaf52cd2c859fe8047f9058d3043d9eba783042b.tar.gz cmake-common-aaf52cd2c859fe8047f9058d3043d9eba783042b.zip | |
ci/build.py: split -D from its argument
Diffstat (limited to 'ci/build.py')
| -rwxr-xr-x | ci/build.py | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/ci/build.py b/ci/build.py index c77216a..0e352c3 100755 --- a/ci/build.py +++ b/ci/build.py @@ -92,13 +92,12 @@ class GenerationPhase: def _to_cmake_args(build_dir, args): result = [] if args.install_dir is not None: - result.append(f'-DCMAKE_INSTALL_PREFIX={args.install_dir}') + result += ['-D', f'CMAKE_INSTALL_PREFIX={args.install_dir}'] if args.configuration is not None: - result.append(f'-DCMAKE_BUILD_TYPE={args.configuration}') + result += ['-D', f'CMAKE_BUILD_TYPE={args.configuration}'] if args.cmake_args is not None: result += args.cmake_args - result += [f'-B{build_dir.path}'] - result += [f'-H{args.src_dir}'] + result += [f'-B{build_dir.path}', f'-H{args.src_dir}'] return result def run(self): |