projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Wording fixes.
[pintos-anon]
/
src
/
utils
/
backtrace
diff --git
a/src/utils/backtrace
b/src/utils/backtrace
index 0dd28420e3d4cfb38caade7dfdec1913ddc6d4cb..300df642d4927f733f22795e6411c5d2aef08808 100755
(executable)
--- a/
src/utils/backtrace
+++ b/
src/utils/backtrace
@@
-6,7
+6,7
@@
while ($function = <A2L>) {
$line = <A2L>;
chomp $function;
chomp $line;
$line = <A2L>;
chomp $function;
chomp $line;
- print
"
$function ($line)\n";
+ print
shift (@ARGV), ":
$function ($line)\n";
}
sub search_path {
}
sub search_path {