mirror of
https://github.com/zeek/zeek.git
synced 2025-10-01 22:28:20 +00:00
Update doc gen VM to ubuntu-latest, output cmake version during configure
This commit is contained in:
parent
2d43aaf7cc
commit
824bc372c5
2 changed files with 4 additions and 2 deletions
4
.github/workflows/generate-docs.yml
vendored
4
.github/workflows/generate-docs.yml
vendored
|
@ -12,7 +12,7 @@ defaults:
|
|||
jobs:
|
||||
generate:
|
||||
if: github.repository == 'zeek/zeek'
|
||||
runs-on: ubuntu-18.04
|
||||
runs-on: ubuntu-latest
|
||||
|
||||
steps:
|
||||
# We only perform a push if the action was triggered via a schedule
|
||||
|
@ -60,7 +60,7 @@ jobs:
|
|||
sudo pip3 install -r doc/requirements.txt
|
||||
|
||||
- name: Configure
|
||||
run: ./configure
|
||||
run: ./configure --disable-broker-tests --disable-cpp-tests
|
||||
|
||||
- name: Build
|
||||
run: cd build && make -j $(nproc)
|
||||
|
|
2
configure
vendored
2
configure
vendored
|
@ -442,6 +442,8 @@ echo "Build Directory : $builddir"
|
|||
echo "Source Directory: $sourcedir"
|
||||
cd $builddir
|
||||
|
||||
echo "Using $(cmake --version | head -1)"
|
||||
echo
|
||||
if [ -n "$CMakeGenerator" ]; then
|
||||
"$CMakeCommand" -G "$CMakeGenerator" $CMakeCacheEntries $sourcedir
|
||||
else
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue