error "Your Developer Tools' SDKs were not found.\nYou need to add extra symbolic links to /Developer to achieve correctly\nbuilt contribs.\nHave a look at the OSX-Compile-HOWTO for details.">&2
error "Your Developer Tools' SDKs were not found.\nYou need to add extra symbolic links to /Developer to achieve correctly\nbuilt contribs.\nHave a look at the OSX-Compile-HOWTO for details.">&2
exit 1
fi
;;
esac
esac
# Save passed flags
# Save passed flags
...
@@ -438,12 +416,14 @@ if test -z "$CONTRIBS_RELEASE"; then
...
@@ -438,12 +416,14 @@ if test -z "$CONTRIBS_RELEASE"; then