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