From e6276088107e814bea95aee42868065dc41c1e8b Mon Sep 17 00:00:00 2001
From: Frans Kaashoek <kaashoek@mit.edu>
Date: Wed, 24 Jul 2019 09:05:05 -0400
Subject: Delete a few other no-longer relevant files

---
 printpcs | 14 --------------
 1 file changed, 14 deletions(-)
 delete mode 100755 printpcs

(limited to 'printpcs')

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 "$@"
-- 
cgit v1.2.3