projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Get rid of THREAD_JOIN_IMPLEMENTED by adding thread_join() stub.
[pintos-anon]
/
grading
/
lib
/
Pintos
/
Grading.pm
diff --git
a/grading/lib/Pintos/Grading.pm
b/grading/lib/Pintos/Grading.pm
index 463d475eada79a590a1241847c24778a754c1698..6a21d5231edf2851ea6370148c9b84e0331722b9 100644
(file)
--- a/
grading/lib/Pintos/Grading.pm
+++ b/
grading/lib/Pintos/Grading.pm
@@
-138,10
+138,9
@@
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.
+ # Install default pintos/src/constants.h
(which is empty)
.
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;
}