diff options
author | Repository mirror & CI <repomirrorci@gentoo.org> | 2019-07-22 19:06:46 +0000 |
---|---|---|
committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2019-07-22 19:06:46 +0000 |
commit | 99bd2156432b163438e9887133a0d923e857a4d8 (patch) | |
tree | 989a3a156cd57cf94ae7b6813ef92524feddbc15 /ros-overlay.txt | |
parent | 2019-07-22T18:20:01Z (diff) | |
download | repos-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.txt | 11 |
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 |