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