summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRepository mirror & CI <repomirrorci@gentoo.org>2019-07-22 19:06:46 +0000
committerRepository mirror & CI <repomirrorci@gentoo.org>2019-07-22 19:06:46 +0000
commit99bd2156432b163438e9887133a0d923e857a4d8 (patch)
tree989a3a156cd57cf94ae7b6813ef92524feddbc15 /ros-overlay.txt
parent2019-07-22T18:20:01Z (diff)
downloadrepos-99bd2156432b163438e9887133a0d923e857a4d8.tar.gz
repos-99bd2156432b163438e9887133a0d923e857a4d8.tar.bz2
repos-99bd2156432b163438e9887133a0d923e857a4d8.zip
2019-07-22T19:00:01Z
Diffstat (limited to 'ros-overlay.txt')
-rw-r--r--ros-overlay.txt11
1 files changed, 1 insertions, 10 deletions
diff --git a/ros-overlay.txt b/ros-overlay.txt
index 54e7bab35f81..c4c33f49fdd7 100644
--- a/ros-overlay.txt
+++ b/ros-overlay.txt
@@ -11,16 +11,7 @@ WARNING:pkgcore:EAPI '7' isn't fully supported
WARNING:pkgcore:'genthree' repo at '/var/lib/repo-mirror-ci/sync/genthree' has unsupported profile format: profile-bashrcs
WARNING:pkgcore:'xelnor' repo at '/var/lib/repo-mirror-ci/sync/xelnor' has unsupported profile format: build-id
WARNING:pkgcore:'beatussum-overlay' repo at '/var/lib/repo-mirror-ci/sync/beatussum-overlay' has unsupported profile format: profile-default-eapi
-From git://github.com/ros/ros-overlay
- a579eae01..3180c61c3 master -> origin/master
-Updating a579eae01..3180c61c3
-Fast-forward
- docker_file/Dockerfile | 18 ++++++++----------
- ros-kinetic/catkin/Manifest | 4 ++--
- ... 0001-Use-lib-and-lib64-for-ld_library_path.patch} | 19 ++++++++++++++++---
- ros-kinetic/catkin/metadata.xml | 2 +-
- 4 files changed, 27 insertions(+), 16 deletions(-)
- rename ros-kinetic/catkin/files/{add-lib64-to-ldpath.patch => 0001-Use-lib-and-lib64-for-ld_library_path.patch} (53%)
+Already up to date.
*** syncing ros-overlay
*** synced ros-overlay
* Sync succeeded