projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Fix comment.
[pintos-anon]
/
grading
/
filesys
/
syn-remove.exp
diff --git
a/grading/filesys/syn-remove.exp
b/grading/filesys/syn-remove.exp
index f4ad70208dbc5998d23df27e299c7e74891d01e6..a7c56caa9adedc0c81903fdda461db42d44e76c3 100644
(file)
--- a/
grading/filesys/syn-remove.exp
+++ b/
grading/filesys/syn-remove.exp
@@
-5,6
+5,5
@@
(syn-remove) write "deleteme"
(syn-remove) seek "deleteme" to 0
(syn-remove) read "deleteme"
-(syn-remove) compare data read and written
(syn-remove) close "deleteme"
(syn-remove) end