Skip to content

Commit c3e8059

Browse files
authored
Merge pull request #45 from JdeRobot/javizqh-patch-2
Update install-ompl-ubuntu.sh
2 parents 4d46492 + 894680d commit c3e8059

1 file changed

Lines changed: 1 addition & 0 deletions

File tree

scripts/install-ompl-ubuntu.sh

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -82,6 +82,7 @@ install_ompl()
8282
${SUDO} apt-get -y install git
8383
git clone --recurse-submodules https://github.com/ompl/${OMPL}.git
8484
cd $OMPL
85+
git checkout 0f990886e9e40014e32ddee177c8d798adbc8fb7 # Temporary: with this commit works
8586
fi
8687
mkdir -p build/Release
8788
cd build/Release

0 commit comments

Comments
 (0)