Purge fastrtps for CI
This commit is contained in:
parent
3c27ffae79
commit
16c5562cd2
1 changed files with 1 additions and 0 deletions
|
@ -10,6 +10,7 @@ before_script:
|
||||||
- apt-get update
|
- apt-get update
|
||||||
- rosdep update
|
- rosdep update
|
||||||
- rosdep install --from-paths . --ignore-src --rosdistro dashing -y --skip-keys "console_bridge fastcdr fastrtps libopensplice67 libopensplice69 rti-connext-dds-5.3.1 urdfdom_headers"
|
- rosdep install --from-paths . --ignore-src --rosdistro dashing -y --skip-keys "console_bridge fastcdr fastrtps libopensplice67 libopensplice69 rti-connext-dds-5.3.1 urdfdom_headers"
|
||||||
|
- apt-get purge -y ros-dashing-fastrtps
|
||||||
- lttng-sessiond --daemonize
|
- lttng-sessiond --daemonize
|
||||||
|
|
||||||
# build:
|
# build:
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue