From 39f7b4670d7eb8eacad7713aae3fd42ce487761a Mon Sep 17 00:00:00 2001
From: Jer Noble <jer.noble@apple.com>
Date: Tue, 22 May 2012 11:02:49 -0700
Subject: [PATCH 1/1] Added switchto() function to switch between webkit
 checkout.

---
 .webkit_login | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/.webkit_login b/.webkit_login
index 44454bd..477be0c 100644
--- a/.webkit_login
+++ b/.webkit_login
@@ -1,6 +1,10 @@
 #!/bin/bash
 
-export WEBKIT_DIR=~/Projects/WebKit.git
+export WEBKIT_DIR=~/Projects/WebKit.PuzzleBox
 if [[ -f ${WEBKIT_DIR}/webkitenv ]]; then
     source ${WEBKIT_DIR}/webkitenv
 fi
+
+function switchto() {
+    source ~/Projects/WebKit.$1/webkitenv
+}
-- 
2.40.1