From 263c580fe104d1be90037b19afa08d30a407e65a Mon Sep 17 00:00:00 2001
From: Shoghi Cervantes <shoghicp@gmail.com>
Date: Fri, 31 Jan 2014 16:00:36 +0100
Subject: [PATCH] Removed curl from jenkins.sh for Mac

---
 src/build/jenkins.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/build/jenkins.sh b/src/build/jenkins.sh
index 706c1eced..5f0271a2d 100644
--- a/src/build/jenkins.sh
+++ b/src/build/jenkins.sh
@@ -36,7 +36,7 @@ then
     mkdir -p {$COMPILEDIR,$ARCHIVE}/mac
     cd $COMPILEDIR/mac
     
-    $SCRIPT mac curl
+    $SCRIPT mac
     
     cp $COMPILEDIR/mac/{install.log,bin/php5/bin/php} $ARCHIVE/mac/
 fi