Skip to content

Commit

Permalink
.sh: uppercase URDF
Browse files Browse the repository at this point in the history
Co-Authored-By: rhaschke <rhaschke@users.noreply.github.com>
  • Loading branch information
davetcoleman and rhaschke committed Jan 24, 2019
1 parent f942d41 commit 0eb988a
Showing 1 changed file with 1 addition and 1 deletion.
Expand Up @@ -105,7 +105,7 @@ function extract_robot_name {
robot_name=${robot_name##robot name is: }
test -z "$robot_name" && return
if [ -n "$ROBOT_NAME" -a "$ROBOT_NAME" != "$robot_name" ]; then
echo "Robot name in urdf ($robot_name) differs from specified name ($ROBOT_NAME)"
echo "Robot name in URDF ($robot_name) differs from specified name ($ROBOT_NAME)"
else
ROBOT_NAME="$robot_name"
fi
Expand Down

0 comments on commit 0eb988a

Please sign in to comment.