From cb8e4be3b5d9ce2225f4347efdaaf08423405b65 Mon Sep 17 00:00:00 2001
From: Linus Groh <mail@linusgroh.de>
Date: Tue, 19 Jan 2021 22:11:55 +0100
Subject: [PATCH] Ports: Add missing version.sh file to python3 port

I thought I had committed this, but it's .gitignore'd. Add an exception
to Ports/.gitignore and add it for real this time. :^)

Fixes #5008.
---
 Ports/.gitignore         | 1 +
 Ports/python3/version.sh | 4 ++++
 2 files changed, 5 insertions(+)
 create mode 100644 Ports/python3/version.sh

diff --git a/Ports/.gitignore b/Ports/.gitignore
index 937271b409..09a34f8323 100644
--- a/Ports/.gitignore
+++ b/Ports/.gitignore
@@ -4,3 +4,4 @@
 !*/patches/*
 !*/.gitignore
 !*/README.md
+!python3/version.sh
diff --git a/Ports/python3/version.sh b/Ports/python3/version.sh
new file mode 100644
index 0000000000..1033aa053d
--- /dev/null
+++ b/Ports/python3/version.sh
@@ -0,0 +1,4 @@
+PYTHON_VERSION="3.9.1"
+PYTHON_ARCHIVE="Python-${PYTHON_VERSION}.tar.xz"
+PYTHON_ARCHIVE_URL="https://www.python.org/ftp/python/${PYTHON_VERSION}/${PYTHON_ARCHIVE}"
+PYTHON_ARCHIVE_MD5SUM="61981498e75ac8f00adcb908281fadb6"