diff options
author | Sébastien Helleu <flashcode@flashtux.org> | 2023-03-30 01:11:26 +0200 |
---|---|---|
committer | Sébastien Helleu <flashcode@flashtux.org> | 2023-03-30 01:34:55 +0200 |
commit | c243e4add9061fa33e4b6270823402bbb224efc7 (patch) | |
tree | d2c234ea926934639f30d89e71cee267d5af25f0 /.github | |
parent | d24f6295d46063957c64eff9afcb3b535ef15d5e (diff) | |
download | weechat-c243e4add9061fa33e4b6270823402bbb224efc7.zip |
ci: disable build of doc on macOS
Since the PHP plugin is not built, the doc can not be built any more (all
plugins must be compiled to generate autogen files).
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 40f1b0c4a..30d7f568c 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -118,7 +118,7 @@ jobs: CXX: ${{ matrix.config.cxx }} run: | mkdir build-tmp && cd build-tmp - cmake .. -DENABLE_MAN=ON -DENABLE_DOC=ON -DENABLE_PHP=OFF + cmake .. -DENABLE_MAN=ON -DENABLE_DOC=OFF -DENABLE_PHP=OFF make VERBOSE=1 -j2 sudo make install |