mirror of
https://github.com/moveit/moveit_task_constructor.git
synced 2025-11-04 14:49:57 +08:00
travis fix
This commit is contained in:
parent
51e1dda6ec
commit
c3f42b66f7
@ -1,9 +1,10 @@
|
||||
#!/bin/sh
|
||||
# we need an unreleased version of moveit_core
|
||||
mkdir moveit
|
||||
cd moveit
|
||||
pushd moveit
|
||||
git init
|
||||
git remote add -f origin https://github.com/ros-planning/moveit.git
|
||||
git config core.sparseCheckout true
|
||||
echo "moveit_core" >> .git/info/sparse-checkout
|
||||
git pull origin ${ROS_DISTRO}_devel
|
||||
git pull origin ${ROS_DISTRO}-devel
|
||||
popd
|
||||
|
||||
@ -3,6 +3,7 @@ sudo: required
|
||||
dist: trusty
|
||||
services:
|
||||
- docker
|
||||
|
||||
language: generic
|
||||
compiler:
|
||||
- gcc
|
||||
@ -13,12 +14,13 @@ notifications:
|
||||
- rhaschke@techfak.uni-bielefeld.de
|
||||
- me@v4hn.de
|
||||
env:
|
||||
- BEFORE_SCRIPT=.prepare_overlay.sh
|
||||
matrix:
|
||||
- ROS_DISTRO=kinetic ROS_REPO=ros
|
||||
- ROS_DISTRO=kinetic ROS_REPO=ros-shadow-fixed
|
||||
|
||||
before_script:
|
||||
- git clone -q https://github.com/ros-planning/moveit_ci.git .moveit_ci
|
||||
- . .prepare_overlay.sh
|
||||
|
||||
script:
|
||||
- source .moveit_ci/travis.sh
|
||||
|
||||
Loading…
Reference in New Issue
Block a user