| commit | 3c835dcda0e5463a788dc6fd43fa00d10a88db4f | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Fri Dec 13 19:00:27 2024 -0500 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Fri Dec 13 19:00:27 2024 -0500 |
| tree | 778c35aeafe994696bdf9c1dca2a483bbf570eea | |
| parent | 52dc9a656c9502b56370b8de9e6c8ac21e1b6425 [diff] |
ci: drop unused dependency Change-Id: I0bd6ae86647343ee1684ab37f009ed942fe4f3b1
diff --git a/.jenkins.d/00-deps.sh b/.jenkins.d/00-deps.sh index 17b544a..a6c0054 100755 --- a/.jenkins.d/00-deps.sh +++ b/.jenkins.d/00-deps.sh
@@ -7,7 +7,6 @@ libboost-chrono-dev libboost-date-time-dev libboost-dev - libboost-filesystem-dev libboost-log-dev libboost-program-options-dev libboost-stacktrace-dev