From 4e0d5ec382e21fc9d1eaf0eedfac77166dd26548 Mon Sep 17 00:00:00 2001 From: filipw Date: Wed, 11 May 2022 10:10:00 +0200 Subject: [PATCH] fixed run script for Mono --- mono-packaging/run | 6 ------ 1 file changed, 6 deletions(-) diff --git a/mono-packaging/run b/mono-packaging/run index af4c1e3c80..81fb3781f6 100644 --- a/mono-packaging/run +++ b/mono-packaging/run @@ -1,13 +1,10 @@ #!/usr/bin/env bash base_dir="$(cd "$(dirname "$0")" && pwd -P)" -bin_dir=${base_dir}/bin -etc_dir=${base_dir}/etc omnisharp_dir=${base_dir}/omnisharp mono_cmd=mono omnisharp_cmd=${omnisharp_dir}/OmniSharp.exe -config_file=${etc_dir}/config no_omnisharp=false @@ -16,9 +13,6 @@ if [ "$1" = "--no-omnisharp" ]; then no_omnisharp=true fi -export MONO_CFG_DIR=${etc_dir} -export MONO_ENV_OPTIONS="--assembly-loader=strict --config \"${config_file}\"" - if [ "$no_omnisharp" = true ]; then "${mono_cmd}" "$@" else