projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Fix treatment of timeouts in run-tests and pintos.
[pintos-anon]
/
grading
/
vm
/
mmap-overlap.c
diff --git
a/grading/vm/mmap-overlap.c
b/grading/vm/mmap-overlap.c
index c4a06e67c0560cbce15a9187cc84070178472728..6153793911201b7342fe54c1639f14ff6b449d01 100644
(file)
--- a/
grading/vm/mmap-overlap.c
+++ b/
grading/vm/mmap-overlap.c
@@
-14,6
+14,12
@@
main (void)
size_t i;
int fd[2];
size_t i;
int fd[2];
+#ifndef PINTOS
+ printf ("Sorry, this test won't work on POSIX,\n"
+ "because POSIX will accept overlapping mmaps.\n");
+ abort ();
+#endif
+
printf ("(mmap-overlap) begin\n");
for (i = 0; i < 2; i++)
printf ("(mmap-overlap) begin\n");
for (i = 0; i < 2; i++)