commit 45a0419ded42948bfb6eeab9805a18541bd5bc5d
author Matthew Wilson <mwilson@google.com> Tue Nov 21 12:30:45 2023 -0800
committer Matthew Wilson <mwilson@google.com> Mon Nov 27 16:07:14 2023 -0800
tree 2827c26c7534d14dc95993d180607831e235cc8c
parent 3b480339fb1808b1d55503df9fdf8e190907c25f

Use python venv location set by setup.sh

Change-Id: Ie0429a383ce5521f34d89084bbb5fa6cfac9c87e

kgdb.sh

diff --git a/kgdb.sh b/kgdb.sh
index 05992fb..1756035 100755
--- a/kgdb.sh
+++ b/kgdb.sh
@@ -35,7 +35,7 @@
 USE_SEL4_EXTENSIONS="true"
 USE_SEL4_SYMBOL_AUTOSWITCHING="false"
 
-export PYTHONPATH=${ROOTDIR}/cache/python-venv/lib/python3.11/site-packages/:${PYTHONPATH}
+export PYTHONPATH=${PYTHON_SHODAN_ENV}/lib/python3.11/site-packages/:${PYTHONPATH}
 export SOURCE_DIR=${ROOTDIR}/cantrip
 export BUILD_DIR=$CANTRIP_OUT