From 62d42fb61f5f12e7fb4cfdf9ecf32dac9f8a42b9 Mon Sep 17 00:00:00 2001
From: Xawotihs <xawotihs@users.noreply.github.com>
Date: Mon, 17 Aug 2015 23:53:11 +0200
Subject: [PATCH] Removed local check of mac branch

---
 tools/build-macos-script.sh | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/tools/build-macos-script.sh b/tools/build-macos-script.sh
index 44d5df64b..09a75aa90 100755
--- a/tools/build-macos-script.sh
+++ b/tools/build-macos-script.sh
@@ -15,16 +15,16 @@ git remote set-url origin "https://${GH_TOKEN}@github.com/WagicProject/wagic.git
 
 ## Delete remote Travis-Mac branch (if any)
 echo git branches = `git branch -r`
-export REMOTE=$(git branch -r | grep "origin/$TRAVIS_MAC_BRANCH")
-if [ "$REMOTE" = "origin/$TRAVIS_MAC_BRANCH" ]; then
-    echo "Removing old $TRAVIS_MAC_BRANCH branch"
-    # Delete remote branch
-    git branch -r -D "origin/$TRAVIS_MAC_BRANCH"
+#export REMOTE=$(git branch -r | grep "origin/$TRAVIS_MAC_BRANCH")
+#if [ "$REMOTE" = "origin/$TRAVIS_MAC_BRANCH" ]; then
+#    echo "Removing old $TRAVIS_MAC_BRANCH branch"
+#    # Delete remote branch
+#    git branch -r -D "origin/$TRAVIS_MAC_BRANCH"
     # Push (delete) remote branch on temote server (e.g. github)
     git push origin --delete "$TRAVIS_MAC_BRANCH"
-else
-    echo "$REMOTE : No $TRAVIS_MAC_BRANCH to remove"
-fi
+#else
+#    echo "$REMOTE : No $TRAVIS_MAC_BRANCH to remove"
+#fi
 
 ## Create a new branch
 git checkout -q -b "$TRAVIS_MAC_BRANCH" "$TRAVIS_BRANCH"