projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Improve.
[pintos-anon]
/
grading
/
threads
/
run-tests
diff --git
a/grading/threads/run-tests
b/grading/threads/run-tests
index ad9cb8b40be3aff7ce8ceabe9ad9a9aa4da21af5..7fcc91cc6853256f82712f0f5f19be62d00d8cca 100755
(executable)
--- a/
grading/threads/run-tests
+++ b/
grading/threads/run-tests
@@
-431,8
+431,10
@@
sub verify_common {
$A2L = "i386-elf-addr2line";
}
open (A2L, "$A2L -fe output/$test/kernel.o @addrs|");
$A2L = "i386-elf-addr2line";
}
open (A2L, "$A2L -fe output/$test/kernel.o @addrs|");
- while (my $function = <A2L>) {
- my ($line) = <A2L>;
+ for (;;) {
+ my ($function, $line);
+ last unless $function = <A2L>;
+ $line = <A2L>;
chomp $function;
chomp $line;
$details .= " $function ($line)\n";
chomp $function;
chomp $line;
$details .= " $function ($line)\n";