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:
authorMiguel de Icaza <miguel@gnome.org>2011-10-24 20:53:27 +0400
committerMiguel de Icaza <miguel@gnome.org>2011-10-24 20:54:04 +0400
commit6e9ec396127433910d7946bed2fd9e714a314797 (patch)
treec9c098fb814a937019a197f68ab2305831843981 /scripts
parentcaba2b77f90793ce02e0527a4a9a0b8950f869d7 (diff)
Remove the exit code so that we can get a little bit further on MacOS X
Diffstat (limited to 'scripts')
-rwxr-xr-xscripts/mono-test-install1
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"