From 420dbc99084892926e49618e815e64ca9d2c6fb3 Mon Sep 17 00:00:00 2001
From: Robbe Sneyders <robbe.sneyders@gmail.com>
Date: Wed, 6 Mar 2024 19:08:19 +0100
Subject: [PATCH] Update scripts/build_components.sh

---
 scripts/build_components.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/build_components.sh b/scripts/build_components.sh
index 705ec97c..e7e14f16 100755
--- a/scripts/build_components.sh
+++ b/scripts/build_components.sh
@@ -124,7 +124,7 @@ for dir in "${components_to_build[@]}"; do
 
 
   # Delete old docker images to free up space
-  docker builder prune
+  docker builder prune -f
   popd
 
 done