From 9723b26d7241647644490467856d0d71d33c2588 Mon Sep 17 00:00:00 2001
From: Julian Oes <julian@oes.ch>
Date: Wed, 15 Jul 2020 11:44:35 +0200
Subject: [PATCH] workflows: OSX.sh is now called macos.sh

---
 .github/workflows/compile_macos.yml | 2 +-
 Tools/setup/OSX.sh                  | 4 ----
 2 files changed, 1 insertion(+), 5 deletions(-)
 delete mode 100755 Tools/setup/OSX.sh

diff --git a/.github/workflows/compile_macos.yml b/.github/workflows/compile_macos.yml
index 224cfae41a..f9f14fe679 100644
--- a/.github/workflows/compile_macos.yml
+++ b/.github/workflows/compile_macos.yml
@@ -24,7 +24,7 @@ jobs:
         token: ${{secrets.ACCESS_TOKEN}}
 
     - name: setup
-      run: ./Tools/setup/OSX.sh
+      run: ./Tools/setup/macos.sh
 
     - name: Prepare ccache timestamp
       id: ccache_cache_timestamp
diff --git a/Tools/setup/OSX.sh b/Tools/setup/OSX.sh
deleted file mode 100755
index 45f70e7b12..0000000000
--- a/Tools/setup/OSX.sh
+++ /dev/null
@@ -1,4 +0,0 @@
-#! /usr/bin/env bash
-
-echo "The script is now called 'macos.sh'."
-exit 1