Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/mono.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJo Shields <joshield@microsoft.com>2018-08-07 18:09:40 +0300
committerJo Shields <joshield@microsoft.com>2018-08-07 18:09:40 +0300
commitd02cf68f3e11e7cb4ef029575f3835676386b7e4 (patch)
tree4e9be86c760d9b5ff583da9a2e23b24d86a8bd40 /scripts/mono-package-runtime
parent8690d0aeb074e324231fb7c29e69f0fbdbe36738 (diff)
Allow override of mkbundle generation library extension
Diffstat (limited to 'scripts/mono-package-runtime')
-rwxr-xr-xscripts/mono-package-runtime6
1 files changed, 3 insertions, 3 deletions
diff --git a/scripts/mono-package-runtime b/scripts/mono-package-runtime
index 10e26f26930..e46266d074e 100755
--- a/scripts/mono-package-runtime
+++ b/scripts/mono-package-runtime
@@ -1,7 +1,7 @@
-#!/bin/sh
-extension=".dylib"
+#!/bin/bash
+extension="${LIBEXT:-.dylib}"
if test `uname -o` = GNU/Linux; then
- extension=".so"
+ extension="${LIBEXT:-.so}"
fi
if test x$2 = x; then