From b0725775e8d69202a4616ed5432a60ce9deb95b4 Mon Sep 17 00:00:00 2001
From: heinrich5991 <heinrich5991@gmail.com>
Date: Mon, 11 Mar 2019 16:03:34 +0100
Subject: [PATCH] Fix version of teeworlds-libs to download

This allows us to update the repository without breaking old builds.
---
 scripts/download.py | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/scripts/download.py b/scripts/download.py
index a7278a135..cc12ca7c7 100644
--- a/scripts/download.py
+++ b/scripts/download.py
@@ -20,7 +20,8 @@ def unzip(filename, where):
 	return z.namelist()[0]
 
 def downloadAll(targets):
-	url = "https://github.com/teeworlds/teeworlds-libs/archive/master.zip"
+	version = "4bf6dbc8c9f9b2fa89b2b5be1928f5e85bca01e6"
+	url = "https://github.com/teeworlds/teeworlds-libs/archive/{}.zip".format(version)
 
 	# download and unzip
 	src_package_libs = twlib.fetch_file(url)
@@ -31,7 +32,7 @@ def downloadAll(targets):
 	if not libs_dir:
 		print("couldn't unzip libs")
 		sys.exit(-1)
-	libs_dir = "teeworlds-libs-master"
+	libs_dir = "teeworlds-libs-{}".format(version)
 
 	if "sdl" in targets:
 		copy_tree(libs_dir + "/sdl/", "other/sdl/")