Skip to content
This repository has been archived by the owner on Dec 13, 2024. It is now read-only.

Commit

Permalink
Add temporary patch for serial build failures
Browse files Browse the repository at this point in the history
  • Loading branch information
sea-bass committed Nov 27, 2023
1 parent 07146e9 commit 54037c2
Showing 1 changed file with 5 additions and 0 deletions.
5 changes: 5 additions & 0 deletions Dockerfile
Original file line number Diff line number Diff line change
Expand Up @@ -72,6 +72,11 @@ USER ${USERNAME}
ARG USER_DIR=/home/${USERNAME}/user_overlay_ws
ENV USER_DIR=${USER_DIR}

# Remove duplicated serial dependency install files, otherwise there will be a build error.
# NOTE: This can be removed when MoveIt Studio fully separates core and hardware capabilities.
WORKDIR /opt/overlay_ws
RUN rm -rf build/serial install/serial

# Compile the workspace
WORKDIR $USER_DIR
# hadolint ignore=SC1091
Expand Down

0 comments on commit 54037c2

Please sign in to comment.