From 443124ca6fcb488303d2cc1660bd8349b739c66b Mon Sep 17 00:00:00 2001
From: Andrey Akhmichin <15944199+nekonomicon@users.noreply.github.com>
Date: Fri, 12 Jan 2024 22:04:28 +0500
Subject: [PATCH] wscript: force to use server library name for android.

---
 wscript | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/wscript b/wscript
index 02efd884..86418434 100644
--- a/wscript
+++ b/wscript
@@ -230,6 +230,10 @@ def configure(conf):
 	if conf.env.HLDEMO_BUILD and conf.env.OEM_BUILD:
 		conf.fatal('Don\'t mix Demo and OEM builds!')
 
+	# force to use server library name
+	if conf.env.DEST_OS == 'android':
+		conf.env.SERVER_LIBRARY_NAME = 'server' # can't be any other name, until specified
+
 	# strip lib from pattern
 	if conf.env.DEST_OS not in ['android']:
 		if conf.env.cxxshlib_PATTERN.startswith('lib'):