More debug

tools/build-macos-script.sh

@@ -15,12 +15,14 @@ git remote set-url origin "https://${GH_TOKEN}@github.com/WagicProject/wagic.git
 
 ## Delete remote Travis-Mac branch (if any)
 export REMOTE=$(git branch -r | grep "origin/$TRAVIS_MAC_BRANCH")
-if test -n "$REMOTE" ; then
+if [ test -n "$REMOTE" ]; 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 "No $TRAVIS_MAC_BRANCH to remove"
 fi
 
 ## Create a new branch