Merge branch 'master' into 20250327-use-flags-fping

This commit is contained in:
Firstyear 2025-05-09 09:16:13 +10:00 committed by GitHub
commit da80da50d3
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 2 additions and 2 deletions

View file

@ -38,7 +38,7 @@ jobs:
${{ matrix.distro }} \
/bin/sh -c '${{ matrix.prepare }} && \
tools/setup && \
./configure --enable-libtap --with-ipv6=no && \
./configure --enable-libtap && \
make && \
make test && \
make dist && \

View file

@ -35,7 +35,7 @@ jobs:
${{ matrix.distro }} \
/bin/sh -c '${{ matrix.prepare }} && \
tools/setup && \
./configure --enable-libtap --with-ipv6=no && \
./configure --enable-libtap && \
make && \
make test && \
make dist && \