From f068dd738e226a375f29b1b01d186b709e56da31 Mon Sep 17 00:00:00 2001
From: Christopher Bonhage <me@christopherbonhage.com>
Date: Wed, 5 Feb 2025 17:59:47 -0500
Subject: [PATCH] Fix build-sdl.sh script error

```
cat: HEAD: No such file or directory
````

Use the proper git command to get the commit ID for HEAD.
---
 thirdparty/SDL/build-sdl.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/thirdparty/SDL/build-sdl.sh b/thirdparty/SDL/build-sdl.sh
index 0f3c1f46f..e12917193 100755
--- a/thirdparty/SDL/build-sdl.sh
+++ b/thirdparty/SDL/build-sdl.sh
@@ -6,7 +6,7 @@ if [ ! -d "SDL" ]; then
 else
     git -C SDL fetch
 fi
-git -C SDL reset --hard "$(cat HEAD)"
+git -C SDL reset --hard "$(git -C SDL rev-parse HEAD)"
 mkdir -p SDL/build
 pushd SDL/build