X-Git-Url: http://105106.c2e0p.group/dotfiles.git/blobdiff_plain/7db6359521ae4d3e6435fe23e097c23926a9ef5f..c78d8f892fa209c7961ce9d08e454138a5e0819b:/webkit_login diff --git a/webkit_login b/webkit_login index 1692b29..55b6bb0 100644 --- a/webkit_login +++ b/webkit_login @@ -3,6 +3,8 @@ 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 @@ -30,4 +32,3 @@ export PS1='$( if [ $? = 0 ]; then echo \[\e[32m\]:-\)\ ; else echo \[\e[31m\]:- source ~/bin/git-completion.bash switchto git -