projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Apply appropriate changes from main branch to bring win0405-branch up
[pintos-anon]
/
grading
/
lib
/
Pintos
/
Grading.pm
diff --git
a/grading/lib/Pintos/Grading.pm
b/grading/lib/Pintos/Grading.pm
index 6a21d5231edf2851ea6370148c9b84e0331722b9..463d475eada79a590a1241847c24778a754c1698 100644
(file)
--- a/
grading/lib/Pintos/Grading.pm
+++ b/
grading/lib/Pintos/Grading.pm
@@
-138,9
+138,10
@@
sub extract_sources {
LOG => $stem, DIE => "applying patch $stem failed\n");
}
LOG => $stem, DIE => "applying patch $stem failed\n");
}
- # Install default pintos/src/constants.h
(which is empty)
.
+ # Install default pintos/src/constants.h.
open (CONSTANTS, ">pintos/src/constants.h")
or die "constants.h: create: $!\n";
open (CONSTANTS, ">pintos/src/constants.h")
or die "constants.h: create: $!\n";
+ print CONSTANTS "#define THREAD_JOIN_IMPLEMENTED 1\n";
close CONSTANTS;
}
close CONSTANTS;
}