diff --git a/docker-build/build-menu.sh b/docker-build/build-menu.sh old mode 100644 new mode 100755