diff options
Diffstat (limited to 'debug/risc-v-gsp-rm-vm/risc-v-gsp-rm-debugger.sh')
| -rwxr-xr-x | debug/risc-v-gsp-rm-vm/risc-v-gsp-rm-debugger.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/debug/risc-v-gsp-rm-vm/risc-v-gsp-rm-debugger.sh b/debug/risc-v-gsp-rm-vm/risc-v-gsp-rm-debugger.sh index 400281a..ca0f733 100755 --- a/debug/risc-v-gsp-rm-vm/risc-v-gsp-rm-debugger.sh +++ b/debug/risc-v-gsp-rm-vm/risc-v-gsp-rm-debugger.sh @@ -5,4 +5,12 @@ set -euo pipefail HERE="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)" export PYTHONPATH="$HERE${PYTHONPATH:+:$PYTHONPATH}" export GREENEYE_DUMPS="${GREENEYE_DUMPS:-$HERE/dumps}" + +# `triage` is the harness entry point for the new-version workflow (docs/40); +# everything else is the greeneye package CLI. +if [[ "${1:-}" == "triage" ]]; then + shift + exec python3 "$HERE/harness/triage.py" "$@" +fi + exec python3 -m greeneye "$@" |