From 58ce3d1e825685fefedbc1b754f57bd6b28d5c8d Mon Sep 17 00:00:00 2001 From: Jan Verbeek Date: Thu, 26 Aug 2021 21:04:42 +0200 Subject: [PATCH] Make scripts executable --- util/GHA-delete-GNU-workflow-logs.sh | 0 util/build-code_coverage.sh | 0 util/compare_gnu_result.py | 0 util/publish.sh | 0 util/run-gnu-test.sh | 0 util/show-code_coverage.sh | 0 util/update-version.sh | 0 7 files changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 util/GHA-delete-GNU-workflow-logs.sh mode change 100644 => 100755 util/build-code_coverage.sh mode change 100644 => 100755 util/compare_gnu_result.py mode change 100644 => 100755 util/publish.sh mode change 100644 => 100755 util/run-gnu-test.sh mode change 100644 => 100755 util/show-code_coverage.sh mode change 100644 => 100755 util/update-version.sh diff --git a/util/GHA-delete-GNU-workflow-logs.sh b/util/GHA-delete-GNU-workflow-logs.sh old mode 100644 new mode 100755 diff --git a/util/build-code_coverage.sh b/util/build-code_coverage.sh old mode 100644 new mode 100755 diff --git a/util/compare_gnu_result.py b/util/compare_gnu_result.py old mode 100644 new mode 100755 diff --git a/util/publish.sh b/util/publish.sh old mode 100644 new mode 100755 diff --git a/util/run-gnu-test.sh b/util/run-gnu-test.sh old mode 100644 new mode 100755 diff --git a/util/show-code_coverage.sh b/util/show-code_coverage.sh old mode 100644 new mode 100755 diff --git a/util/update-version.sh b/util/update-version.sh old mode 100644 new mode 100755