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