diff options
Diffstat (limited to 'debug/risc-v-gsp-rm-vm/greeneye.sh')
| -rwxr-xr-x | debug/risc-v-gsp-rm-vm/greeneye.sh | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/debug/risc-v-gsp-rm-vm/greeneye.sh b/debug/risc-v-gsp-rm-vm/greeneye.sh deleted file mode 100755 index f1c5a82..0000000 --- a/debug/risc-v-gsp-rm-vm/greeneye.sh +++ /dev/null @@ -1,8 +0,0 @@ -#!/usr/bin/env bash -# green-eye launcher: run the package from this directory without installation. -# TOOL IN DEVELOPMENT - NOT READY YET! -set -euo pipefail -HERE="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)" -export PYTHONPATH="$HERE${PYTHONPATH:+:$PYTHONPATH}" -export GREENEYE_DUMPS="${GREENEYE_DUMPS:-$HERE/dumps}" -exec python3 -m greeneye "$@" |