mirror of
https://github.com/moveit/moveit_task_constructor.git
synced 2025-09-27 00:29:13 +08:00
remove obsolete .prepare_overlay.sh
No need to manually build parts of MoveIt, after it is released.
This commit is contained in:
parent
7d569fe87e
commit
77e40a997e
@ -1,10 +0,0 @@
|
||||
#!/bin/sh
|
||||
# we need an unreleased version of moveit_core
|
||||
mkdir 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
|
||||
popd
|
@ -21,7 +21,6 @@ env:
|
||||
|
||||
before_script:
|
||||
- git clone -q https://github.com/ros-planning/moveit_ci.git .moveit_ci
|
||||
- . .prepare_overlay.sh
|
||||
|
||||
script:
|
||||
- .moveit_ci/travis.sh
|
||||
|
Loading…
Reference in New Issue
Block a user