diff options
| -rwxr-xr-x | bin/run-riscv-gdb.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/run-riscv-gdb.sh b/bin/run-riscv-gdb.sh index 6efad17..8ba4987 100755 --- a/bin/run-riscv-gdb.sh +++ b/bin/run-riscv-gdb.sh @@ -1,9 +1,9 @@ #!/usr/bin/env sh -set -e +set -ex TUI="" -BASE=${BASE:-~/src/git.kernel.org/linux/kernel} +BASE=${BASE:-~/src/linux} PROFILE=${PROFILE:-riscv} REPO=${REPO:-riscv} VMLINUX=${VMLINUX:-$BASE/$REPO/vmlinux} |