diff options
| -rwxr-xr-x | scripts/mono-test-install | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/scripts/mono-test-install b/scripts/mono-test-install index 362eed4cf56..af0727f9844 100755 --- a/scripts/mono-test-install +++ b/scripts/mono-test-install @@ -41,7 +41,6 @@ if pkg-config --modversion mono >& /dev/null; then echo " than the Mono found:" echo " Mono on PATH: $monocmd" echo " Mono from pkg-config: $pkg_config_mono" - exit 1 fi else echo "Warning: pkg-config could not find mono installed on this system" |