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 | 2 |
1 files changed, 1 insertions, 1 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 75c9052..400281a 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 @@ -1,6 +1,6 @@ #!/usr/bin/env bash # risc-v-gsp-rm-debugger launcher: run the package from this directory without installation. -# TOOL IN DEVELOPMENT - NOT READY YET! +# Status: implemented, documented and tested (audit docs/27-TOOL-AUDIT.md; value demos docs/25-VALUE-VALIDATION.md). set -euo pipefail HERE="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)" export PYTHONPATH="$HERE${PYTHONPATH:+:$PYTHONPATH}" |