diff options
| -rwxr-xr-x | tools/build-all-docker-images | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/tools/build-all-docker-images b/tools/build-all-docker-images index 888d25aac..86046fa47 100755 --- a/tools/build-all-docker-images +++ b/tools/build-all-docker-images @@ -54,8 +54,8 @@ function requires_build { function build_image { local dir=$1 + printf "\n" if [ -x "$dir/build" ]; then - printf "\n" info "Building image in $dir" if $dir/build $ARGS --no-use-released-parent; then success "Successfully built image in $dir" @@ -64,6 +64,9 @@ function build_image { warn "Failed to build image in $dir" status[$image]="fail" fi + else + warn "Image $image does not provide build script" + status[$image]="fail" fi } |