diff --git a/deployment/build_docker_images.sh b/deployment/build_docker_images.sh old mode 100644 new mode 100755