diff --git a/gazebo_ros/scripts/debug b/gazebo_ros/scripts/debug index 37cd902de..e1326766c 100755 --- a/gazebo_ros/scripts/debug +++ b/gazebo_ros/scripts/debug @@ -2,7 +2,7 @@ final="$@" EXT=so -if [ $(uname) == "Darwin" ]; then +if [ $(uname) = "Darwin" ]; then EXT=dylib fi