Smilies!

[dotfiles.git] / webkit_login

diff --git a/webkit_login b/webkit_login
index 1692b29e5d862f42770c217906b404d743e35ff5..55b6bb0788a8ddf439a1e21867db375a20229ad2 100644 (file)
--- a/webkit_login
+++ b/webkit_login
@@ -3,6 +3,8 @@
 function switchto() {
     export OLD_WEBKIT_DIR=$WEBKIT_DIR
     export WEBKIT_DIR=~/Projects/WebKit.$1
 function switchto() {
     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


@@ -30,4 +32,3 @@ export PS1='$( if [ $? = 0 ]; then echo \[\e[32m\]:-\)\ ; else echo \[\e[31m\]:-
 source ~/bin/git-completion.bash
 
 switchto git
 source ~/bin/git-completion.bash
 
 switchto git

-