diff options
author | Gereon Kremer <nafur42@gmail.com> | 2021-10-28 12:30:13 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-10-28 19:30:13 +0000 |
commit | 6fb31c779f91fa22186052224ceb38d48ba41fa9 (patch) | |
tree | 6b379311000556e4d90889f0dae77cee2d0b196a /.github | |
parent | 22b0ff77781b957c3ed714dd7ac88fb8c5a8d25c (diff) |
Combine `--static` and `--static-binary` (#7520)
This PR combines the two configure flags --static and --static-binary into a single --static. Consequently, the two corresponding cmake variables are combined as well. The two variables have been implying each other for some time now and were only used to build not-completely-static binaries for MacOS, which is now done automatically anyway.
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/ci.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 82916f26b..1acc26c5a 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -8,7 +8,7 @@ jobs: include: - name: ubuntu:production os: ubuntu-latest - config: production --auto-download --all-bindings --editline --docs --static-binary + config: production --auto-download --all-bindings --editline --docs --static cache-key: production python-bindings: true build-documentation: true @@ -19,7 +19,7 @@ jobs: - name: macos:production os: macos-11 - config: production --auto-download --all-bindings --editline --static-binary + config: production --auto-download --all-bindings --editline --static cache-key: production python-bindings: true check-examples: true |