Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/monodevelop.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlan McGovern <alan@xamarin.com>2014-12-10 14:38:35 +0300
committerAlan McGovern <alan@xamarin.com>2014-12-10 14:38:35 +0300
commit6a0b4db0b6e6218cd9f39a6e97db4587a9a9dc38 (patch)
treef2cadea8ead2f978a5333653dc0a96486c443c97 /configure
parentf5ea168d4dd7573bc6988d6f6befa24771c97e0e (diff)
[build] For sanities sake don't overwrite a user-set value
Just in case :)
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure2
1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure
index 4f2acf8048..42d2ae1231 100755
--- a/configure
+++ b/configure
@@ -262,7 +262,7 @@ if [ -d "$prefix" ]; then
export PKG_CONFIG_PATH=$prefix/lib/pkgconfig:$prefix/share/pkgconfig:$PKG_CONFIG_PATH
fi
-if test `uname` = "Darwin"; then
+if test `uname` = "Darwin" && test "x$profile" = "xdefault"; then
profile="mac"
fi