Use python venv location set by setup.sh Change-Id: Ie0429a383ce5521f34d89084bbb5fa6cfac9c87e
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