diff options
| author | Frans Kaashoek <[email protected]> | 2019-07-24 09:05:05 -0400 |
|---|---|---|
| committer | Frans Kaashoek <[email protected]> | 2019-07-24 09:05:05 -0400 |
| commit | e6276088107e814bea95aee42868065dc41c1e8b (patch) | |
| tree | 6204c027e2fe5c80df8629ba0048c7b6ba0e86fe /printpcs | |
| parent | 6f3a441c10ca714041c0ace01b0e7d92d5846768 (diff) | |
| download | xv6-labs-e6276088107e814bea95aee42868065dc41c1e8b.tar.gz xv6-labs-e6276088107e814bea95aee42868065dc41c1e8b.tar.bz2 xv6-labs-e6276088107e814bea95aee42868065dc41c1e8b.zip | |
Delete a few other no-longer relevant files
Diffstat (limited to 'printpcs')
| -rwxr-xr-x | printpcs | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/printpcs b/printpcs deleted file mode 100755 index 81d039b..0000000 --- a/printpcs +++ /dev/null @@ -1,14 +0,0 @@ -#!/bin/sh - -# Decode the symbols from a panic EIP list - -# Find a working addr2line -for p in i386-jos-elf-addr2line addr2line; do - if which $p 2>&1 >/dev/null && \ - $p -h 2>&1 | grep -q '\belf32-i386\b'; then - break - fi -done - -# Enable as much pretty-printing as this addr2line can do -$p $($p -h | grep ' -[aipsf] ' | awk '{print $1}') -e kernel "$@" |