# HG changeset patch
# User Olaf Wintermann <olaf.wintermann@gmail.com>
# Date 1764414627 -3600
# Node ID d0b5eb033b2a52e1e59d0251df0c3d57b0ab191b
# Parent  493f609665deb003d05576a3d00d0a58bc9a6d79
fix install-lib.sh compatibility with older shells

diff -r 493f609665de -r d0b5eb033b2a make/install-lib.sh
--- a/make/install-lib.sh	Sat Nov 29 10:33:50 2025 +0100
+++ b/make/install-lib.sh	Sat Nov 29 12:10:27 2025 +0100
@@ -6,7 +6,7 @@
 fi
 
 SRC=$1
-LIB=$(basename $1)
+LIB=`basename $1`
 LIBDIR=$5$2
 LIBVERSION=$3
 LIBVERSION_MAJOR=$4