1
0
mirror of https://github.com/wjwwood/serial.git synced 2026-01-23 04:04:54 +08:00

Merge 517b94d916ae45516a4d2c50bdbc301a83184588 into b1b10324ac99f42394d78a55021ebb7cb570b197

This commit is contained in:
GitHub Merge Button 2012-01-17 15:38:38 -08:00
commit 4d99617caa

View File

@ -52,9 +52,9 @@ Setup workspace (skip if you already have one):
Add the rosinstall entry for this stack: Add the rosinstall entry for this stack:
echo "-git: {local-name: serial, uri: 'https://github.com/wjwwood/serial.git', version: 'master'}" >> .rosinstall echo "- git: {local-name: serial, uri: 'https://github.com/wjwwood/serial.git', version: 'master'}" >> .rosinstall
Rerun rosinstall: Rerun rosinstall (note this will change your $ROS_PACKAGE_PATH):
rosinstall . rosinstall .
source setup.bash source setup.bash