fixed some stuff

This commit is contained in:
Andreas Antener
2015-01-24 12:39:14 +01:00
parent 353c230db5
commit da8c9af37b
3 changed files with 4 additions and 3 deletions
@@ -39,5 +39,5 @@ cd $WORKSPACE/src
git clone https://github.com/catkin/catkin_simple.git
cd $WORKSPACE
echo "Execute catkin_make to compile all the sources."
catkin_make