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