Skip to content

Commit

Permalink
remove obsolete todo
Browse files Browse the repository at this point in the history
  • Loading branch information
mikaelarguedas committed May 8, 2018
1 parent d4799cc commit fe11c58
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion linux_docker_resources/Dockerfile
Original file line number Diff line number Diff line change
Expand Up @@ -42,7 +42,6 @@ RUN pip3 install -U setuptools pip virtualenv
RUN apt-get update && apt-get install --no-install-recommends -y gcovr

# Install the OpenSplice binary from the OSRF repositories.
# TODO(mikaelarguedas) add arm to the list of platforms when we have a deb for it
RUN if test \( ${PLATFORM} = arm -o ${PLATFORM} = x86 \) ; then apt-get update && apt-get install --no-install-recommends -y libopensplice67=6.7.180404+osrf1-1~bionic; fi
# Update default domain id.
RUN if test \( ${PLATFORM} = arm -o ${PLATFORM} = x86 \) ; then sed -i "s/<Id>0<\/Id>/<Id>108<\/Id>/" /usr/etc/opensplice/config/ospl.xml; fi
Expand Down

0 comments on commit fe11c58

Please sign in to comment.