projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Comment.
[pintos-anon]
/
grading
/
filesys
/
dir-over-file.exp
diff --git
a/grading/filesys/dir-over-file.exp
b/grading/filesys/dir-over-file.exp
index 206103b28f471c6311a4495df31e74e10cc142a1..2bc552b4e0a02fa61c87425fdc9a0409b6b1591a 100644
(file)
--- a/
grading/filesys/dir-over-file.exp
+++ b/
grading/filesys/dir-over-file.exp
@@
-1,4
+1,4
@@
-(dir-
dir-as
-file) begin
-(dir-
dir-as
-file) mkdir "abc"
-(dir-
dir-as
-file) create "abc" (must return false)
-(dir-
dir-as
-file) end
+(dir-
over
-file) begin
+(dir-
over
-file) mkdir "abc"
+(dir-
over
-file) create "abc" (must return false)
+(dir-
over
-file) end