From ddfaec76297c53cbfd71eb580d7fe43c34e67c59 Mon Sep 17 00:00:00 2001 From: Sebastian Castro Date: Fri, 2 Feb 2024 15:25:23 -0500 Subject: [PATCH] Remove hack to get around double-counted serial package installs --- Dockerfile | 6 ------ 1 file changed, 6 deletions(-) diff --git a/Dockerfile b/Dockerfile index 7b8c1e4f..2ce7de91 100644 --- a/Dockerfile +++ b/Dockerfile @@ -61,12 +61,6 @@ RUN --mount=type=cache,target=/var/cache/apt,sharing=locked \ --from-paths src \ --ignore-src -# Remove duplicated serial dependency install files, otherwise there will be a build error. -# NOTE: This can be removed when MoveIt Pro fully separates core and hardware capabilities. -WORKDIR /opt/overlay_ws -RUN rm -rf build/serial install/serial - - ################################################################### # Target for the developer build which does not compile any code. # ###################################################################