X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Futils%2Fbacktrace;h=6cfd3ec5569a1e00d412c5629e4af17b6a3b62ad;hb=ff8effb2f514ca54a594074e1cc33b22a1978050;hp=baa5eff535cd878922e02e0dcaa84a022fce1807;hpb=615bf3b3d2a8573ed6fb9ddc0055745e163ac999;p=pintos-anon

diff --git a/src/utils/backtrace b/src/utils/backtrace
index baa5eff..6cfd3ec 100755
--- 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);