diff --git a/ci/deb-server-script.sh b/ci/deb-server-script.sh old mode 100644 new mode 100755