From 9dcaf4e7612d2a41f0a23268d7dc96358fc260af Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20Rydg=C3=A5rd?= <hrydgard@gmail.com>
Date: Thu, 28 Sep 2023 11:53:44 +0200
Subject: [PATCH] Add a little utility shell script

---
 Tools/tag_release.sh | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100755 Tools/tag_release.sh

diff --git a/Tools/tag_release.sh b/Tools/tag_release.sh
new file mode 100755
index 000000000000..3d05e6b05aac
--- /dev/null
+++ b/Tools/tag_release.sh
@@ -0,0 +1,14 @@
+# Only for use during the process of making official releases
+
+if [ -z "$1" ]; then
+	echo "No argument supplied"
+	exit 1
+fi
+
+VER=$1
+
+git tag -a ${VER} -m '${VER}'; git push --tags origin ${VER}; git push origin master
+
+echo Now run the internal tool:
+echo ppsspp-build --commit ${VER} --gold --sign-code
+