| commit | 43cf7c4ba8b6c2881842455a8c97ea195e60966a | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Sat Feb 10 18:28:36 2024 -0500 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Sat Feb 10 18:28:36 2024 -0500 |
| tree | 3613819c9fb8b16106457d0ccbfe94ba3565b411 | |
| parent | 4fb843019608a1b1fb0907bb078cccea579edb01 [diff] |
ci: add missing dependency Change-Id: Iee13a84b392b0d03e9bdbf7c20d045d1582bab7c
diff --git a/.jenkins.d/00-deps.sh b/.jenkins.d/00-deps.sh index 7fc1c3a..2cda8fc 100755 --- a/.jenkins.d/00-deps.sh +++ b/.jenkins.d/00-deps.sh
@@ -7,6 +7,7 @@ libboost-date-time-dev libboost-dev libboost-filesystem-dev + libboost-iostreams-dev libboost-log-dev libboost-program-options-dev libboost-stacktrace-dev