diff --git a/docker/scripts/build_and_clean.sh b/docker/scripts/build_and_clean.sh index e9d5ec6168f..f5f383f1565 100755 --- a/docker/scripts/build_and_clean.sh +++ b/docker/scripts/build_and_clean.sh @@ -1,4 +1,5 @@ #!/bin/bash +set -e function build_and_clean() { local ccache_dir=$1 diff --git a/docker/scripts/cleanup_apt.sh b/docker/scripts/cleanup_apt.sh index ad03c1f39e3..f3a47e58296 100755 --- a/docker/scripts/cleanup_apt.sh +++ b/docker/scripts/cleanup_apt.sh @@ -1,4 +1,5 @@ #!/bin/bash +set -e function cleanup_apt() { local apt_clean=$1 diff --git a/docker/scripts/cleanup_system.sh b/docker/scripts/cleanup_system.sh index 0833be2b3a4..72127927ecf 100755 --- a/docker/scripts/cleanup_system.sh +++ b/docker/scripts/cleanup_system.sh @@ -1,4 +1,5 @@ #!/bin/bash +set -e function cleanup_system() { local lib_dir=$1 diff --git a/docker/scripts/resolve_rosdep_keys.sh b/docker/scripts/resolve_rosdep_keys.sh index 9b03b6ab046..1b3f5839bd2 100755 --- a/docker/scripts/resolve_rosdep_keys.sh +++ b/docker/scripts/resolve_rosdep_keys.sh @@ -1,4 +1,5 @@ #!/bin/bash +set -e function resolve_rosdep_keys() { local src_path=$1