X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Futils%2Fbacktrace;h=300df642d4927f733f22795e6411c5d2aef08808;hb=3ed7340d796b1a5cafe45ec78b80415f09eb3fa9;hp=0dd28420e3d4cfb38caade7dfdec1913ddc6d4cb;hpb=e7067d79cedf7c065c5ca4b594a36c5901d8adf5;p=pintos-anon

diff --git a/src/utils/backtrace b/src/utils/backtrace
index 0dd2842..300df64 100755
--- a/src/utils/backtrace
+++ b/src/utils/backtrace
@@ -6,7 +6,7 @@ while ($function = <A2L>) {
     $line = <A2L>;
     chomp $function;
     chomp $line;
-    print "$function ($line)\n";
+    print shift (@ARGV), ": $function ($line)\n";
 }
    
 sub search_path {