From 7a363f6581792b1adfbfb6e56fecde46252e638b Mon Sep 17 00:00:00 2001 From: tkashkin Date: Sun, 15 Jul 2018 14:13:30 +0300 Subject: [PATCH] [ci skip] Update launcher script Former-commit-id: 4c97be951dcad04ee05459d536a67631cf6275fc --- src/launcher.sh.in | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) mode change 100644 => 100755 src/launcher.sh.in diff --git a/src/launcher.sh.in b/src/launcher.sh.in old mode 100644 new mode 100755 index 4dbe87f8..525b7cfc --- a/src/launcher.sh.in +++ b/src/launcher.sh.in @@ -5,7 +5,12 @@ RUNTIME=@RUNTIME@ if [[ ! -z "$RUNTIME" ]]; then echo "Runtime path: $RUNTIME" - export LD_LIBRARY_PATH=$RUNTIME:$LD_LIBRARY_PATH + + if [[ ! -z "$LD_LIBRARY_PATH" ]]; then + RUNTIME=$RUNTIME:$LD_LIBRARY_PATH + fi + + export LD_LIBRARY_PATH=$RUNTIME fi exec "$@" \ No newline at end of file