From 6fd8e4bb130c4c9824e970a16a4bc2e7a988f01d Mon Sep 17 00:00:00 2001
From: simon <simon@journeyman.cc>
Date: Sat, 16 Aug 2014 07:54:38 +0100
Subject: [PATCH] Added a 'pull' option to buildall, pull from remote Git
 origin.

---
 buildall.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/buildall.sh b/buildall.sh
index 09cbba8..488fea0 100755
--- a/buildall.sh
+++ b/buildall.sh
@@ -108,6 +108,9 @@ do
 				echo "Release flagged, but no release tag supplied" 1>&2;
 				exit 1;
 			fi;;
+    -p|-pull)
+      # pull from remote Git origin
+      git pull origin master;;
 		-t|-trial)
 			trial="TRUE";;
 		-w|-webapps)