diff --git a/docker/scripts/resolve_rosdep_keys.sh b/docker/scripts/resolve_rosdep_keys.sh index 48ee01f34b8..d7e6868326b 100755 --- a/docker/scripts/resolve_rosdep_keys.sh +++ b/docker/scripts/resolve_rosdep_keys.sh @@ -1,5 +1,5 @@ #!/bin/bash -set -euo pipefail +set -e function resolve_rosdep_keys() { local src_path=$1