Skip to content

Commit

Permalink
[ci skip] Update launcher script
Browse files Browse the repository at this point in the history
Former-commit-id: 4c97be9
  • Loading branch information
tkashkin committed Jul 15, 2018
1 parent ffafae3 commit 7a363f6
Showing 1 changed file with 6 additions and 1 deletion.
7 changes: 6 additions & 1 deletion src/launcher.sh.in
100644 → 100755
Original file line number Diff line number Diff line change
Expand Up @@ -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 "$@"

0 comments on commit 7a363f6

Please sign in to comment.