projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Always try to create output directory, even if pintos directory exists.
[pintos-anon]
/
grading
/
userprog
/
write-bad-ptr.c
diff --git
a/grading/userprog/write-bad-ptr.c
b/grading/userprog/write-bad-ptr.c
index 9431c70694e031e2e829936a1bc670929c3362df..b36f4477f951d514b9c891db3a78f43be9caf2ad 100644
(file)
--- a/
grading/userprog/write-bad-ptr.c
+++ b/
grading/userprog/write-bad-ptr.c
@@
-11,7
+11,7
@@
main (void)
if (handle < 2)
printf ("(write-bad-ptr) fail: open() returned %d\n", handle);
- write (handle, (char *) 0x
c
0101234, 123);
+ write (handle, (char *) 0x
2
0101234, 123);
printf ("(write-bad-ptr) end\n");
return 0;