[gtk-osx] Move export of WORKON_HOME from jhbuild to pipenv-env.

[John Ralls <jralls src gnome org>]

commit 39a5e2bfb43b18c8c02132d5dca09b4346006637
Author: John Ralls <jralls ceridwen us>
Date:   Thu Apr 15 16:58:47 2021 -0700

    Move export of WORKON_HOME from jhbuild to pipenv-env.
    
    For wider applicability. Note that it must still be set explicitly
    for pipenv install to operate on the right virtenv.

 gtk-osx-setup.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/gtk-osx-setup.sh b/gtk-osx-setup.sh
index 1e944f4f..0362d944 100755
--- a/gtk-osx-setup.sh
+++ b/gtk-osx-setup.sh
@@ -165,6 +165,7 @@ cat <<EOF > "$DEVPREFIX/etc/pipenv-env"
 export PYTHONUSERBASE="$PYTHONUSERBASE"
 export DEV_SRC_ROOT="$DEV_SRC_ROOT"
 export PYENV_ROOT="$PYENV_ROOT"
+export WORKON_HOME="$DEVPREFIX/share/venv"
 export PIP_CONFIG_DIR="$PIP_CONFIG_DIR"
 export LANG=C
 eval "$(pyenv init -)"
@@ -174,7 +175,6 @@ cat <<EOF > "$DEVPREFIX/bin/jhbuild"
 #!$DEVPREFIX/bin/bash
 export DEVROOT="$DEVROOT"
 export DEVPREFIX="$DEVPREFIX"
-export WORKON_HOME="$DEVPREFIX/share/venv"
 export PYTHONPATH="$PYTHONPATH"
 export PIPENV_DOTENV_LOCATION="$DEVPREFIX/etc/pipenv-env"
 export PIPENV_PIPFILE="$DEVPREFIX/etc/Pipfile"