diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2020-12-30 10:56:02 -0800 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2020-12-30 10:56:06 -0800 |
| commit | edd19d4725153e6428e7b2e1b6594b4168601a39 (patch) | |
| tree | c24b368f29e26e911449ad55684e47f884f2984c /.github | |
| parent | 12d1b54546a45cdb88a0b26042ec45d6a99c57c9 (diff) | |
| download | subsurface-edd19d4725153e6428e7b2e1b6594b4168601a39.tar.gz | |
build-system: fix Coverity script
Trying to keep the different build environments consistent I messed up and
dropped wget and curl from the Coverity build. Moving them to the beginning of
the list so they stand out more.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/coverity-scan.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/coverity-scan.yml b/.github/workflows/coverity-scan.yml index 4b81ca512..482581738 100644 --- a/.github/workflows/coverity-scan.yml +++ b/.github/workflows/coverity-scan.yml @@ -17,6 +17,7 @@ jobs: run: | apt update apt install -y \ + wget curl \ autoconf automake cmake g++ git libcrypto++-dev libcurl4-gnutls-dev \ libgit2-dev libqt5qml5 libqt5quick5 libqt5svg5-dev \ libqt5webkit5-dev libsqlite3-dev libssh2-1-dev libssl-dev libssl-dev \ |