commit 996c8dc2b30555a1da1bca52cdb22cef335042d9
author Sam Leffler <sleffler@google.com> Wed Nov 22 14:28:12 2023 -0800
committer Sam Leffler <sleffler@google.com> Mon Nov 27 15:42:37 2023 -0800
tree 9e4e24554c4dc7d5d11833a3883172ec45a4388c
parent 6009b2476ad7bfc2969a63be9157a4ae3e7ee2fd

kmem.sh: set PYTHONPATH for venv

Change-Id: Ib6ad2b0339e772487c59989d3953d6743b7289f0

kmem.sh

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}