X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Futils%2Fbacktrace;h=6cfd3ec5569a1e00d412c5629e4af17b6a3b62ad;hb=79d43675f4fd36237529d676e3c7c231b308dc7f;hp=baa5eff535cd878922e02e0dcaa84a022fce1807;hpb=4ebf33908a571a7cde93fe618902b044e3633cdf;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);