kmem.sh: set PYTHONPATH for venv Change-Id: Ib6ad2b0339e772487c59989d3953d6743b7289f0
diff --git a/kmem.sh b/kmem.sh index 9b85891..2fb8a21 100755 --- a/kmem.sh +++ b/kmem.sh
@@ -103,5 +103,6 @@ parseargv "$@" CANTRIP_OUT="${ROOTDIR}/out/cantrip/${PLATFORM}/${BUILD}" +PYTHONPATH=${PYTHON_SHODAN_ENV}/lib/python3.11/site-packages/:${PYTHONPATH} PYTHONPATH="${PYTHONPATH}:${ROOTDIR}/cantrip/projects/capdl/python-capdl-tool" exec python3 "${ROOTDIR}/cantrip/tools/seL4/kmem-tool/kmem.py" --object-state "${CANTRIP_OUT}/object-final.pickle" ${DETAILS} ${KERNEL} ${VERBOSE}