Further etc -> .dotfiles

[dotfiles.git] / webkit_login

diff --git a/webkit_login b/webkit_login
index 1692b29e5d862f42770c217906b404d743e35ff5..f32ae9e7469acc4028c75b027ac8019fdd25b584 100644 (file)
--- a/webkit_login
+++ b/webkit_login
@@ -3,6 +3,7 @@
 function switchto() {
     export OLD_WEBKIT_DIR=$WEBKIT_DIR
     export WEBKIT_DIR=~/Projects/WebKit.$1
+    export WEBKIT_OUTPUTDIR=$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
@@ -30,4 +31,3 @@ export PS1='$( if [ $? = 0 ]; then echo \[\e[32m\]:-\)\ ; else echo \[\e[31m\]:-
 source ~/bin/git-completion.bash
 
 switchto git
-