scripts: track build artifacts pathname change
Change-Id: I2f14a724c000b2c0618ffc1e9c17c50a823c4e4d
diff --git a/kgdb.sh b/kgdb.sh
index efcd2af..2e4f187 100755
--- a/kgdb.sh
+++ b/kgdb.sh
@@ -29,7 +29,7 @@
PROGRAM=out/shodan_boot_rom/multihart_boot_rom.elf
REMOTE=localhost:3333
-CANTRIP_OUT=out/cantrip/${TARGET}/debug
+CANTRIP_OUT=out/cantrip/${PLATFORM}/debug
MATCHA_OUT=out/matcha/riscv32imc-unknown-none-elf/debug
USE_SEL4_EXTENSIONS="true"
diff --git a/kmem.sh b/kmem.sh
index b6e4d69..9b85891 100755
--- a/kmem.sh
+++ b/kmem.sh
@@ -40,7 +40,8 @@
exit 1
fi
-TARGET=${TARGET:-riscv32-unknown-elf}
+# NB: should always be set but default anyway
+PLATFORM=${PLATFORM:-shodan}
# Default is a summary of release build.
DETAILS=""
@@ -101,6 +102,6 @@
parseargv "$@"
-CANTRIP_OUT="${ROOTDIR}/out/cantrip/${TARGET}/${BUILD}"
+CANTRIP_OUT="${ROOTDIR}/out/cantrip/${PLATFORM}/${BUILD}"
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}
