From 381c45b75113d9b86d9e18f6adee1b316c0ccd4f Mon Sep 17 00:00:00 2001
From: Ramon Roche <mrpollo@gmail.com>
Date: Fri, 15 Nov 2024 12:26:55 -0800
Subject: [PATCH] Dockerfile: px4-dev container no sim tools for now

 - we need to keep the total size reasonable for CI builds that will use this image
---
 Tools/setup/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Tools/setup/Dockerfile b/Tools/setup/Dockerfile
index ce4b827ed1..0cf8762b9d 100644
--- a/Tools/setup/Dockerfile
+++ b/Tools/setup/Dockerfile
@@ -19,7 +19,7 @@ COPY docker-entrypoint.sh /usr/local/bin/docker-entrypoint.sh
 COPY requirements.txt /tmp/requirements.txt
 COPY ubuntu.sh /tmp/ubuntu.sh
 RUN touch /.dockerenv
-RUN bash /tmp/ubuntu.sh
+RUN bash /tmp/ubuntu.sh --no-sim-tools
 
 RUN git config --global --add safe.directory '*'