diff options
author | Alan McGovern <alan@xamarin.com> | 2014-12-10 14:38:35 +0300 |
---|---|---|
committer | Alan McGovern <alan@xamarin.com> | 2014-12-10 14:38:35 +0300 |
commit | 6a0b4db0b6e6218cd9f39a6e97db4587a9a9dc38 (patch) | |
tree | f2cadea8ead2f978a5333653dc0a96486c443c97 /configure | |
parent | f5ea168d4dd7573bc6988d6f6befa24771c97e0e (diff) |
[build] For sanities sake don't overwrite a user-set value
Just in case :)
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |