Update username info in ssh_config

[dotfiles.git] / zsh_webkit_login

diff --git a/zsh_webkit_login b/zsh_webkit_login
index 5e949cb046b985e86b012688323920e6f6fff505..08bb4088500729ffa7c0db1cf3ca6d774ca322f2 100644 (file)
--- a/zsh_webkit_login
+++ b/zsh_webkit_login
@@ -4,6 +4,7 @@ switchto() {
     export OLD_WEBKIT_DIR=$WEBKIT_DIR
     export WEBKIT_DIR=~/Projects/WebKit.$1
     export WEBKIT_OUTPUTDIR=$WEBKIT_DIR/OpenSource/WebKitBuild
+    export PERP_BUILD_PATH=$WEBKIT_OUTPUTDIR
     if [[ "$OLD_WEBKIT_DIR" == "" ]]; then
         export PATH=$PATH:$WEBKIT_DIR/Internal/Tools/Scripts:$WEBKIT_DIR/OpenSource/Tools:$WEBKIT_DIR/OpenSource/Tools/Scripts
         export CDPATH=$CDPATH:$WEBKIT_DIR/OpenSource:$WEBKIT_DIR/OpenSource/Source:$WEBKIT_DIR/Internal