Make backtrace chop long filenames to just the last few characters.

[pintos-anon] / src / utils / backtrace

diff --git a/src/utils/backtrace b/src/utils/backtrace
index baa5eff535cd878922e02e0dcaa84a022fce1807..6cfd3ec5569a1e00d412c5629e4af17b6a3b62ad 100755 (executable)
--- a/src/utils/backtrace
+++ b/src/utils/backtrace
@@ -60,6 +60,7 @@ while (<A2L>) {
     my ($function, $line);
     chomp ($function = $_);
     chomp ($line = <A2L>);
+    $line = "..." . substr ($line, -25) if length ($line) > 28;
     print shift (@ARGV), ": $function ($line)\n";
 }
 close (A2L);