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