]> id.pley.net Git - dotfiles.git/blobdiff - webkit_login
Update username info in ssh_config
[dotfiles.git] / webkit_login
index f32ae9e7469acc4028c75b027ac8019fdd25b584..55b6bb0788a8ddf439a1e21867db375a20229ad2 100644 (file)
@@ -4,6 +4,7 @@ function switchto() {
     export OLD_WEBKIT_DIR=$WEBKIT_DIR
     export WEBKIT_DIR=~/Projects/WebKit.$1
     export WEBKIT_OUTPUTDIR=$WEBKIT_DIR/OpenSource/WebKitBuild
     export OLD_WEBKIT_DIR=$WEBKIT_DIR
     export WEBKIT_DIR=~/Projects/WebKit.$1
     export WEBKIT_OUTPUTDIR=$WEBKIT_DIR/OpenSource/WebKitBuild
+    export WEBKITOUTPUTDIR=$WEBKIT_DIR/OpenSource/WebKitBuild
     if [[ "$OLD_WEBKIT_DIR" == "" ]]; then
         export PATH=$PATH:$WEBKIT_DIR/OpenSource/Tools:$WEBKIT_DIR/OpenSource/Tools/Scripts:$WEBKIT_DIR/Internal/Tools/Scripts
     else
     if [[ "$OLD_WEBKIT_DIR" == "" ]]; then
         export PATH=$PATH:$WEBKIT_DIR/OpenSource/Tools:$WEBKIT_DIR/OpenSource/Tools/Scripts:$WEBKIT_DIR/Internal/Tools/Scripts
     else