From 3c835dcda0e5463a788dc6fd43fa00d10a88db4f Mon Sep 17 00:00:00 2001
From: Davide Pesavento <davidepesa@gmail.com>
Date: Fri, 13 Dec 2024 19:00:27 -0500
Subject: [PATCH] ci: drop unused dependency

Change-Id: I0bd6ae86647343ee1684ab37f009ed942fe4f3b1
---
 .jenkins.d/00-deps.sh | 1 -
 1 file changed, 1 deletion(-)

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 @@ APT_PKGS=(
     libboost-chrono-dev
     libboost-date-time-dev
     libboost-dev
-    libboost-filesystem-dev
     libboost-log-dev
     libboost-program-options-dev
     libboost-stacktrace-dev