| commit | 6df68800e0e607770144d0b0f8657248a3f6edd8 | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Fri Jun 04 14:01:36 2021 -0400 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Fri Jun 04 14:01:36 2021 -0400 |
| tree | 837d05658ac8ddccda76381bd2db0d6be5658077 | |
| parent | 75e8d465db44041034545c8928687ad0f0d51ac7 [diff] [blame] |
ci: sync scripts Change-Id: I7ef875e554dfd300e4e3464db1221bdf65f4ab25
diff --git a/.jenkins.d/00-deps.sh b/.jenkins.d/00-deps.sh index b5671bc..c020871 100755 --- a/.jenkins.d/00-deps.sh +++ b/.jenkins.d/00-deps.sh
@@ -25,6 +25,6 @@ elif has Ubuntu $NODE_LABELS; then sudo apt-get -qq update - sudo apt-get -qy install g++ pkg-config python3-minimal \ + sudo apt-get -qy install build-essential pkg-config python3-minimal \ libboost-all-dev libssl-dev libsqlite3-dev fi