From e6ee58b628b32f2e257ea0eac2399c34b2b41817 Mon Sep 17 00:00:00 2001 From: Nuno Lopes Date: Sat, 16 May 2020 20:15:10 +0100 Subject: [PATCH] restore exec bit on a few more script; trying to unbreak buildbots --- contrib/ci/scripts/build_z3_cmake.sh | 0 contrib/ci/scripts/install_deps_osx.sh | 0 contrib/ci/scripts/test_z3_docs.sh | 0 contrib/ci/scripts/test_z3_examples_cmake.sh | 0 contrib/ci/scripts/test_z3_install_cmake.sh | 0 contrib/ci/scripts/test_z3_system_tests.sh | 0 contrib/ci/scripts/test_z3_unit_tests_cmake.sh | 0 contrib/ci/scripts/travis_ci_entry_point.sh | 0 contrib/ci/scripts/travis_ci_linux_entry_point.sh | 0 contrib/ci/scripts/travis_ci_osx_entry_point.sh | 0 contrib/cmake/bootstrap.py | 0 11 files changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 contrib/ci/scripts/build_z3_cmake.sh mode change 100644 => 100755 contrib/ci/scripts/install_deps_osx.sh mode change 100644 => 100755 contrib/ci/scripts/test_z3_docs.sh mode change 100644 => 100755 contrib/ci/scripts/test_z3_examples_cmake.sh mode change 100644 => 100755 contrib/ci/scripts/test_z3_install_cmake.sh mode change 100644 => 100755 contrib/ci/scripts/test_z3_system_tests.sh mode change 100644 => 100755 contrib/ci/scripts/test_z3_unit_tests_cmake.sh mode change 100644 => 100755 contrib/ci/scripts/travis_ci_entry_point.sh mode change 100644 => 100755 contrib/ci/scripts/travis_ci_linux_entry_point.sh mode change 100644 => 100755 contrib/ci/scripts/travis_ci_osx_entry_point.sh mode change 100644 => 100755 contrib/cmake/bootstrap.py diff --git a/contrib/ci/scripts/build_z3_cmake.sh b/contrib/ci/scripts/build_z3_cmake.sh old mode 100644 new mode 100755 diff --git a/contrib/ci/scripts/install_deps_osx.sh b/contrib/ci/scripts/install_deps_osx.sh old mode 100644 new mode 100755 diff --git a/contrib/ci/scripts/test_z3_docs.sh b/contrib/ci/scripts/test_z3_docs.sh old mode 100644 new mode 100755 diff --git a/contrib/ci/scripts/test_z3_examples_cmake.sh b/contrib/ci/scripts/test_z3_examples_cmake.sh old mode 100644 new mode 100755 diff --git a/contrib/ci/scripts/test_z3_install_cmake.sh b/contrib/ci/scripts/test_z3_install_cmake.sh old mode 100644 new mode 100755 diff --git a/contrib/ci/scripts/test_z3_system_tests.sh b/contrib/ci/scripts/test_z3_system_tests.sh old mode 100644 new mode 100755 diff --git a/contrib/ci/scripts/test_z3_unit_tests_cmake.sh b/contrib/ci/scripts/test_z3_unit_tests_cmake.sh old mode 100644 new mode 100755 diff --git a/contrib/ci/scripts/travis_ci_entry_point.sh b/contrib/ci/scripts/travis_ci_entry_point.sh old mode 100644 new mode 100755 diff --git a/contrib/ci/scripts/travis_ci_linux_entry_point.sh b/contrib/ci/scripts/travis_ci_linux_entry_point.sh old mode 100644 new mode 100755 diff --git a/contrib/ci/scripts/travis_ci_osx_entry_point.sh b/contrib/ci/scripts/travis_ci_osx_entry_point.sh old mode 100644 new mode 100755 diff --git a/contrib/cmake/bootstrap.py b/contrib/cmake/bootstrap.py old mode 100644 new mode 100755