diff --git a/CI/ci-linux-config.sh b/CI/ci-linux-config.sh old mode 100644 new mode 100755 diff --git a/CI/ci-linux-test.sh b/CI/ci-linux-test.sh old mode 100644 new mode 100755 diff --git a/CI/ci-mac-test.sh b/CI/ci-mac-test.sh old mode 100644 new mode 100755