From a5a8cf9c21026c72ca175f8d4fcc39528a56f20c Mon Sep 17 00:00:00 2001
From: Andre Anjos <andre.anjos@idiap.ch>
Date: Tue, 24 Jan 2017 16:11:04 +0100
Subject: [PATCH] Don't set anything platform specific - let toolchain do it

---
 gitlab/functions.sh | 11 -----------
 1 file changed, 11 deletions(-)

diff --git a/gitlab/functions.sh b/gitlab/functions.sh
index cbfea14..0609596 100644
--- a/gitlab/functions.sh
+++ b/gitlab/functions.sh
@@ -310,14 +310,3 @@ if [ -z "${CI_BUILD_TAG}" ]; then
 else
   log_info "Building tag, not setting BOB_DOCUMENTATION_SERVER"
 fi
-
-if [ "${OSNAME}" == "macosx" ]; then
-  CC=gcc
-  export_env CC
-  CXX=g++
-  export_env CXX
-  MACOSX_DEPLOYMENT_TARGET="10.7"
-  export_env MACOSX_DEPLOYMENT_TARGET
-  append_if_not_set CPPFLAGS "-DBOOST_NO_CXX11_RVALUE_REFERENCES"
-  export_env CPPFLAGS
-fi
-- 
GitLab